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

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 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.

 Arg1 -> Arg2
 Arg1 ; Arg2
 Arg1 , Arg2
 \+ Arg1