next up previous contents index
Next: Inline Predicates Up: Compiler Directives Previous: Unification Factoring   Contents   Index


Other Directives

XSB has other directives not found in other Prolog systems.

:- hilog atom1,..., atomn.

Declares symbols atom1 through atomn as HiLog symbols. The hilog declaration should appear before any use of the symbols. See Chapter 4 for a purpose of this declaration.
:- ldoption(Options).

This directive is only recognized in the header file (.H file) of a foreign module. See the chapter Foreign Language Interface in Volume 2 for its explanation.
:- compiler_options( OptionsList).

Indicates that the compiler options in the list OptionsList should be used to compile this file. This must appear at the beginning of the file. These options will override any others, including those given in the compilation command. The options may be optionally prefixed with + or - to indicate that they should be set on or off. (No prefix indicates the option should be set on.)



Luis Fernando P. de Castro 2003-06-27