true/0

Module: builtins

true/0 — always succeeds

ISO Standard Predicate

FORMS

true

DESCRIPTION

true/0 succeeds once, and fails upon backtracking.

EXAMPLES

?- true.
yes.

SEE ALSO