search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Recoloquei as funções "lookup" e "chasevar". #55

Closed paulodt closed 9 years ago

paulodt commented 9 years ago

Creio ter apagado por engano essas funções. Modifiquei também para que o pacote "fol" seja acessível pelo "krr-user".

arademaker commented 9 years ago

Isto ainda não está robusto:

* (unify '(and ?a ?b) 'a nil)

debugger invoked on a TYPE-ERROR in thread
#<THREAD "main thread" RUNNING {1003BD67E3}>:
  The value A is not of type SEQUENCE.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(LENGTH A)