Re-exported predicates

The following predicates are re-exported from other modules

 if(:If, :Then, :Else)

Same as SWI-Prolog soft-cut construct. Normally, this is translated using goal-expansion. If either term contains a !, we use meta-calling for full compatibility (i.e., scoping the cut).

Undocumented predicates

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

 $metachoice(Arg1)

 $metacut(Arg1)

 true

 fail

 repeat

 false

 !

 Arg1 -> Arg2

 Arg1 ; Arg2

 Arg1 , Arg2

 \+ Arg1