initialGoals

Goals to be solved once, at load time, declared via :- initialization(Goal)/:- solve(Goal) directives.