Next:
Dynamic declaration
Up:
Directives
Previous:
Determinacy declaration
 
Contents
 
Index
Initialization
The directive
:-initialization(Goal).
is equivalent to:
:-Goal.
unless
Goal
is a directive. It specifies that as soon as the program is loaded or consulted, the goal
Goal
is to be executed.
Neng-Fa Zhou
1999-11-24