search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Create fol.lisp #29

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

Clausal Form <-> CNF

arademaker commented 9 years ago

ok. não vou aceitar conforme conversamos.