search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Update fol.lisp #41

Closed hcrespo closed 9 years ago

hcrespo commented 9 years ago

com ajuda do @paulodt e @rkatz36368

arademaker commented 9 years ago

Aceitei indevidamente este pull request, vejam comentários em #34