Section "util"

In this section, we list common predefined Prolog predicates that are bootstrapped in Prolog itself with or without the help of predefined built-ins. The predefined predicates here mainly defined some convenience related to control flow. It is already possible to perform meta-calls that are allowed to contain conjunction, disjunction and the cut.

The following util predicates are provided:

repeat: [ISO 8.15.3]
The predicate succeeds repeatedly indefinitely.
call(G): [ÍSO 7.8.3]
The predicate succeeds whenever the goal G succeeds.
once(A): [ISO 8.15.2]
The predicate succeeds once if A succeeds.
\+ A: [ISO 8.15.1]
The predicate succeeds when A fails.

Kommentare