LOAD-FACTS

Asserts facts loaded from a file.

(load-facts <file-name>)