built-in method

true/0

Description

true

Always succeeds. See also the ISO Prolog standard definition. This built-in method is declared as a public method and can be used as a message to an object.

Modes and number of proofs

true - one

Errors

(none)

Examples

(none)

See also

!/0, fail/0, false/0, repeat/0