Libraries

There is a number of libraries that support or complement the compiler:

check This library will check all code currently compiled inside the ECLiPSe

session, and print warnings for missing predicates. We recommend its use for program development and for checking finished programs.  

ifdef Conditional compilation similar to the C preprocessor.  

ptags Creates vi tags of specified Prolog source files.  

scattered Allows to compile procedures whose clauses are not consecutive.  

xref Prints a list of predicates defined and not defined in given files.