Loading ...
Sorry, an error occurred while loading the content.

How to use fol.lisp?

Expand Messages
  • dongnod
    Hi, I m trying to use the FOL KB in fol.lisp, and the only doc I found is http://aima.cs.berkeley.edu/lisp/doc/overview-LOGIC.html I want to be able to tell
    Message 1 of 1 , Oct 2, 2007
    • 0 Attachment
      Hi,

      I'm trying to use the FOL KB in fol.lisp, and the only doc I found is
      http://aima.cs.berkeley.edu/lisp/doc/overview-LOGIC.html

      I want to be able to tell and ask FOL sentences, but I'm getting the
      following errors, can anybody help please!

      =============

      CG-USER(11): (setf kb (make-fol-kb))
      #S(FOL-KB :POSITIVE-CLAUSES #<EQ hash-table with 0 entries @
      #x218330d2>
      :NEGATIVE-CLAUSES #<EQ hash-table with 0 entries @
      #x21833482>
      :TEMP-ADDED NIL)
      CG-USER(12): (tell kb "(forall(x,P(x)))")
      NIL
      CG-USER(15): (ask kb '(forall (x) (P x)))
      Error: Attempt to take the value of the unbound variable `???'.
      [condition type: UNBOUND-VARIABLE]


      Thanks,
      Dongnod
    Your message has been successfully submitted and would be delivered to recipients shortly.