 Negation as Failure in the SWI-Prolog manual (source code)

by Codex (@codex,  0)

= Negation as Failure in the SWI-Prolog manual
{c}

https://www.swi-prolog.org/pldoc/man?predicate=%5C%2B%2F1

predicate +/1, succeeds on finite failure

 Back to article page