bagof(+Template:T, :Goal_0, -Bag:list(T), +Zero:list(T)) is det

 call_boolean(:Goal_0, +Boolean:boolean) is semidet

call_boolean(:Goal_0, -Boolean:boolean) is det

Returns whether Goal_0 succeeded once as a Boolean.

 call_det_when(:Cond_0, :Goal_0)

Calls Goal_0 once when Cond_0 succeeds; otherwise calls Goal_0 normally.

 call_det_when_ground(:Goal_0)

 call_det_when_ground(?Term:term, :Goal_0)

Call Goal_0 deterministically in case Term is ground. Otherwise call Goal_0 normally.

 call_forall(:A_1, :B_1)

 call_if_ground(:Goal_0) is det

 call_if_ground(?Term:term, :Goal_0) is det

 call_if_nonvar(?Term:term, :Goal_0) is det

 call_must_be(:Goal_1, @Term) is det

Checks whether Term belongs to the set of terms denoted by Goal_1.

Assumes that terms enumerated by `Goal_1' are ground.

 call_pair(:Goal_2, +Pair1:pair, -Pair2:pair) is det

Calls Goal_2 on the values of Pair1 and Pair2.

 call_statistics(:Goal_0, +Key, -Delta) is det

 call_stats(:Select_1, :Goal_1, -Stats:dict) is det

_{ cputime: float, inferences: nonneg, max: float, min: float, walltime: float }

 call_stats_n(+Repeats:positive_integer, :Goal_0, -Stats:dict) is det

_{ cputime: float, inferences: nonneg, max: float, min: float, walltime: float }

 call_warning(:Goal_0) is semidet

 call_when_ground(:Goal_0) is det

 call_when_ground(?Term:term, :Goal_0) is det

 equal_under(:Goal_2, +A:term, +B:term) is semidet

Succeeds iff `A' and `B' are equal under transformation `Goal_2'.

 is_det(:Goal_0) is semidet

 maplist(:Goal_5, ?Args1:list, ?Args2:list, ?Args3:list, ?Args4:list, ?Args5:list)

 permlist(:Goal_2, ?Args1:list(term), ?Args2:list(term)) is det

 true(?Arg1) is det

 true(?Arg1, ?Arg2) is det

 true(?Arg1, ?Arg2, ?Arg3) is det

Always succeeds.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 call_det_when_ground(Arg1, Arg2)

 call_if_ground(Arg1, Arg2)

 call_when_ground(Arg1, Arg2)

 true(Arg1, Arg2)

 true(Arg1, Arg2, Arg3)