Noeud: General Directives, Noeud « Next »: , Noeud « Previous »: Directives, Noeud « Up »: Directives



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.