Go to the first, previous, next, last section, table of contents.


Directives

Directives are introduced by :-/1 and are used to extend the compiler or the reader/printer.

Unary directives such as require/1 are prefix operators with high precedence, allowing to write for instance:

:-require 'foo.pl','bar.pl'.

General Directives

General directives are used to govern the parser and reader.

op(+Prec,+Kind,+Op_List)
Declare all symbols in Op_List as operators of precedence Prec and nature Kind.
hilog +Symbol_List
Declare all symbols in Symbol_List as hilog symbols.
features(+Symbol_List,+Feature_list)
Declare all symbols in Symbol_List as feature functor with associated feature list Feature_list. Element of Feature_list should be symbols.

Compiler Directives

include +Filename_List
require +Filename_List
resource +Filename_List
mode(+Pred_Spec,+Mode_Pattern)
dcg_mode(+Pred_Spec,+Mode_Pattern,+Left_Mode_Pattern,+Right_Mode_Pattern)
extensional +Pred_Spec
prolog +Pred_Spec
rec_prolog +Pred_Spec
lco +Pred_Spec
parse_mode Mode
cmode(Mode)
xcompiler(Clause)
bmg_stacks +Symbol_List
bmg_island(+Island,+Island_Stacks)
bmg_pushable(+Pred_Spec,+Stack_List)

Directive Files


Go to the first, previous, next, last section, table of contents.