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.