Funções e termos no preproc

arademaker / krr

Knowledge Representation and Reasoning

3 stars 6 forks source link

Closed vinicius-f closed 9 years ago

vinicius-f commented 9 years ago

Uma fórmula desse tipo agora passa no teste: (preproc '(implies (P (f a b) (g ?x)) (not (Q a))))