Next: , Previous: , Up: ref-sem-ctr   [Contents][Index]


4.2.3.4 Negation as Failure

The following construct provides a kind of pseudo-negation meaning “P is not provable”. This is not real negation (“P is false”). The following two goals are equivalent:

\+ P

(P -> fail ; true)

Send feedback on this subject.