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

Undocumented predicates

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

 $metachoice(Arg1)
 $metacut(Arg1)
 true
 fail
 repeat
 false
 if(Arg1, Arg2, Arg3)
 !
 Arg1 -> Arg2
 Arg1 ; Arg2
 Arg1 , Arg2
 \+ Arg1