next up previous index
Next: HTTP Library Up: Libraries Previous: CIO   Index

Subsections


Crossreference Checking

Checking of Loaded Predicates

This library is loaded by
:- lib(check).
The global predicate check/0 defined in this library will make extensive checks of all the Prolog code in the Prolog database and it will print warning for the following predicates:

check/1 will check a specified module.

Checking Files

The library xref.pl defines the global predicate xref(FileList). When called, this predicate will examine the given file or list of file names and print separately predicates which are defined and those that are not defined in the given file(s).
next up previous index
Next: HTTP Library Up: Libraries Previous: CIO   Index

1999-08-06