larkc

:41] <aindilis> well Ig uess tey could read the backlog
[17:41] <aindilis> so here's the deal larkc is just like predicate logic
[17:42] <aindilis> it's like polish notation predicates like prolog
[17:42] <aindilis> a(b,c)
[17:42] <aindilis> etc
[17:42] <aindilis> but the key instrument is that it has microtheories
[17:42] <aindilis> there are two predicates that relate to microtheories
[17:42] <aindilis> microtheories are a way of intelligent segmenting the KB
[17:42] <aindilis> a microtheory can inherit the contents of another or many other microtheories
[17:42] --> Zlanier21 (6b4dd038@gateway/web/freenode/ip.107.77.208.56) has joined this channel.
[17:43] <anniepoo> ok, so can I define a rule, a(X) :- b(X).?
[17:43] <aindilis> you just assert in a general Microtheory like BaseKB that genlMt(mt1,mt2).
[17:43] <aindilis> I"ll get to that in a sec
[17:43] <anniepoo> kk
[17:43] <aindilis> right now we're doing facts
[17:43] <anniepoo> ok
[17:43] <aindilis> so I forget whether mt2 inherents from mt1 or the other way around
[17:43] <Zlanier21> Omg. It’s like you’re speaking a different language!
[17:44] <aindilis> but you can look that up by querying (from a Cyc repl)
[17:44] <aindilis> (comment #$genlMt)
[17:44] <anniepoo> lol - yeah, we do speak diff languages - we're a bunch of academic leaning programmers who work with Prolog.