After loading REL programs with consult at the emulator toplevel, or asserting REL clauses (and mode declarations) with az , the following commands have to be used to detect and transform deterministic predicates and to compile the remaining (non-deterministic) predicates:
These steps also are illustrated in appendix C.