(to be written)
Indicates that a translation is available from language L to Ciao Prolog language.
E is an extension (including the dot) for files that must be translated from language L to Ciao.
E is the extension of the file produced as output by the Ciao printer for language L.
This is the main predicate called when the file In needs to be translated from language L into Ciao Prolog. Some options to the translation may be passed in the variable O and the module name that one wants to get can be given in M. The translation should produce a file and indicate where it is located through O.
T is the initial list of transformations needed for language L after it has been loaded as clauses.
Lang is the detected language for AbsFile file.
Reads the code of FileName and its preprocessing unit, and sets it as the current module.
Reads the code of the list of file names FileNameList (and their preprocessing units), and sets them as the current modules.
Same as module/1 but it also prints the time required to read the module and returns extra information (including the time) on its second argument.
Loads the already preprocess sources of the libraries. This predicate is called implicitly by module/1 but that we can call it explicitly to ensure that the cache is preloaded.
Outputs the current module preprocessing state with the default output options. Equivalent to output(File,).
Outputs to File the current module preprocessing state with the default output options. If unbound, File is unified with a default name (encoding the preprocessing steps). Equivalent to output(File,).
Outputs the current module preprocessing state to a file File. If unbound, File is unified with a default name (encoding the preprocessing steps). The output format (which should be valid for the loaded program) is guessed from the file extension. Opts is a list of options for this predicate (see output_option/1)
Extension Ext is a supported output extension.
Generate and preload the preprocessed assertions from the libraries (specified in the cmds/cachedmods/cached_core.pl module.