The files

The compiler comes in five files:

• The actual compiler is contained in the file pref.pl (or pref$x$.pl, where $x$ is the actual version number).

• The file grounder.pl takes care of programs with variables and non-atomic term structures.

• The purpose of the file pp.pl is to provide a pretty-printer for the files resulting from the compilation.

  This module aims at transforming Prolog variables like _4711 into more readable ones like X. This is necessary in view of processing the files with dlv and smodels.

• Files dlv.pl and smodels.pl contains code specific to the logic programming systems.