[ Control | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
false
Does not succeed (synonym of fail/0).
Description
Does not succeed.
Fail Conditions
Always fails.
Resatisfiable
No.
Examples
Success:
[eclipse]: [user].
not1(Goal) :- call(Goal), !, false.
not1(_).
user compiled 208 bytes in 0.02 seconds
[eclipse]: not1(true).
no.
[eclipse]: not1(fail).
yes.
[eclipse]: not1(false).
yes.
Fail:
false.
See Also
fail / 0