Did you know ... Search Documentation:
Pack ciao -- prolog/dialect/ciao/engine/basiccontrol.pl
PublicShow source

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