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