Package-level declarations

A meta-interpreter tracing the facts a proof relies on (module interpreter), written for the CrossJustice project: the facts of the user, user_fact(Fact), a goal is proved with.

Goals solved on the theories of external modules (module module): Prolog files, found in the modules path (flag modulesPath) by their name, or at a location.