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.

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)