initialization(+term) [ISO]

A directive initialization(T) includes a term T' resulting from the transition of the well-formed term T in a set of goals which will be executed immediately after Prolog texts have been prepared for execution.

see also: check_singleton/1 discontiguous/1 dynamic/1 dynamic/2 ensure_loaded/1 import/1 import/2 import_module/1 import_module/2 include/1 multifile/1 not_redo/1 private/0 private/1 public/0 public/1

Examples
initialization( do(init, Y) ). after the preparation of the text the goal 'do(init, Y)' is executed
initialization( assertz(bla) ). after the preparation of the text the predicate bla/0 is assrted

 

 

info@trinc-prolog.com