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

Basic builtin directives

Author(s): Daniel Cabeza.

Version: 1.10#6 (2004/8/7, 21:46:39 CEST)

Version of last change: 1.9#29 (2002/11/20, 14:4:17 CET)

This chapter documents the basic builtin directives in Ciao, additional to the documented in other chapters. These directives are natively interpreted by the Ciao compiler ( ciaoc).

Unlike in other Prolog systems, directives in Ciao are not goals to be executed by the compiler or top level. Instead, they are read and acted upon by these programs. The advantage of this is that the effect of the directives is consistent for executables, code loaded in the top level, code analyzed by the preprocessor, etc.

As a result, by default only the builtin directives or declarations defined in this manual can be used in user programs. However, it is possible to define new declarations using the new_declaration/1 and new_declaration/2 directives (or using packages including them). Also, packages may define new directives via code translations.

Usage and interface (builtin_directives)

Documentation on internals (builtin_directives)

DECLARATION: multifile/1:

Usage: :- multifile Predicates. * ISO *

DECLARATION: discontiguous/1:

Usage: :- discontiguous Predicates. * ISO *

DECLARATION: impl_defined/1:

Usage: :- impl_defined(Predicates).

DECLARATION: redefining/1:

Usage: :- redefining(Predicate).

DECLARATION: initialization/1:

Usage: :- initialization(Goal). * ISO *

DECLARATION: on_abort/1:

Usage: :- on_abort(Goal).

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