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.

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)