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.