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

This module sets up support for loading Ciao Prolog modules that start with a :- module(Name, Exports, Packages) directive. Upon encountering this directive, it is rewritten into a SWI-Prolog module declaration, followed by a series of directives to setup Ciao compatibility.

Typical usage for loading Ciao code is:

:- use_module(library(dialect/ciao)).
To be done
- Create much more of the Ciao infrastructure.
 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.

 $ciao_meta(Arg1, Arg2)
 $ciao_meta(Arg1, Arg2, Arg3)
 $ciao_meta(Arg1, Arg2, Arg3, Arg4)
 $ciao_meta(Arg1, Arg2, Arg3, Arg4, Arg5)
 $ciao_meta(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 $ciao_meta(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
 $ciao_meta(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)