Typol automatically loads the results of the compilation into the prolog and Le-Lisp environments when necessary by using resources to locate the appropriate files (see the formalism resource file).