See section Execution Profiling . Profiling is not available in Runtime Systems. Clauses are loaded as they are encountered. This is treated as equivalent to those sentences occurring in place of the list. When a directive is read it is immediately executed.
Any predicate defined in the files erases any clauses for that predicate already present.
If clauses for some predicate appear in more than one file, the later set will effectively overwrite the earlier set. This is only recommended for small, tentative patches. The internal state of SICStus Prolog is not changed as result of the compilation. Otherwise, no action is taken. Declarations When a program is to be loaded, it is sometimes necessary to tell the system to treat some of the predicates specially.