projog

3.96. ensure_loaded(X) - reads clauses and goals from a file.

ensure_loaded(X) reads clauses and goals from a file. X must be instantiated to the name of a text file containing Prolog clauses and goals which will be added to the knowledge base. Will do nothing when X represents a file that has already been loaded using ensure_loaded(X).

Examples