5.1 General format
The definition of control constructs, directives and built-in predicates is
presented as follows:
Templates
Specifies the types of the arguments and which of them shall be instantiated
(mode). Types and modes are described later (section 5.2).
Description
Describes the behavior (in the absence of any error conditions). It is
explicitly mentioned when a built-in predicate is re-executable on
backtracking. Predefined operators involved in the definition are also
mentioned.
Errors
Details the error conditions. Possible errors are detailed later
(section 5.3). For directives, this part is omitted.
Portability
Specifies whether the definition conforms to the ISO standard or is a GNU Prolog
extension.
Copyright (C) 1999-2007 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved.
More about the copyright