knowledge base in FOL

well am newbie here in LISP..!! so i wanna have to make a code for
knowledge base in first order logic where all facts are horn clauses
and input to the program are sequence of keywords..!! please help me
out in writing functions for it.

.

Relevant Pages

  • Re: knowledge base in FOL
    ... knowledge base in first order logic where all facts are horn clauses ... and input to the program are sequence of keywords..!! ...
    (comp.lang.lisp)
  • Newbie - question to backward-chaining...
    ... Now I want to implement my backward-chaining and here is ... By backward chaining I mean verifying a propositions from the facts and the ... If a fact is not in the knowledge base, ... "verify" try to verify facts recursively... ...
    (comp.lang.prolog)
  • Re: OIL Companies reply to Congress
    ... me, just reread the "facts" as interpreted by the bondage freak, aka ... If we wanna' stick to the facts, is anyone really going to claim that ... posting history and I was posting before Deja News started archiving usenet. ... If you want to be factual about it, I'm not a "bondage freak". ...
    (rec.outdoors.rv-travel)
  • Re: OT Loose Change 9-11
    ... Even if there weren't obvious facts to contradict some ... But still, I really wanna ... conspiracy video I've ever seen. ...
    (rec.music.makers.percussion)
  • Re: What are OOPs Jargons and Complexities?
    ... > Xah Lee, 20050128 ... > The Rise of Classes, Methods, Objects ... Wanna check a few of your 'facts' out a little more (I especially like ...
    (comp.lang.java.programmer)