Similarly, to run TRALE, one types:
| ?- compile(trale).assuming that trale.pl is the file in which TRALE resides, or, in SWI Prolog:
| ?- consult(trale).TRALE needs to load several other files (including ale.pl). All of these files are assumed to live in the directory from which Prolog is executed. If this is not true, set the TRALE_HOME environment variable to point to the directory in which TRALE is installed before running Prolog from that shell.