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
See Input and Output