XRay (Version 3.3) is composed of the following files containing Prolog-code (All files are available here.):
| xray.pl | This is the major file
containing additions, extensions,
and adaptations to PTTP in order to provide default reasoning capacities.
It is sufficiant to load this file into a Prolog for running XRay; all other files needed are then loaded automatically. |
| xray_config.pl | This file contains predicates for maintaining XRay's runtime behavior. |
| base.pl | This file contains some basics for XRay. |
| pttp.pl | This is Mark's Stickel's original Prolog implementation described in detail in Stickel (1989). pttp.pl as such is either a symbolic link on the eclipse version pttp-eclipse or the quintus version pttp-quintus. (You may want to adjust this link according to your Prolog system.) |
| builtin.pl | This file defines buitin predicates that can appear in clause bodies. |
| model.pl | This file contains model-handling facilities used for conistency checking; its core is provided by an implementation of a Davis-Putnam procedure Davis and Putnam (1960) adapted for model-finding. This approach is detailed in Brüning and Schaub (1996). This file is implicitly loaded by xray.pl. |
| debug.pl | A debugger. |
| io.pl | This file deals with all sorts of IO faciliities, such reading and writing compiled knowledge bases. It is implicitly loaded by xray.pl. |
| db.pl | Prolog code aiming at database handling. |
| herbrand.pl | This is for processing variables with XRay. |
| hooks.pl | This file contains facilities for adding (plain) prolog code to XRay-rules. |
| hooks_config.pl | Configuration of hooks. |
| lemma.pl | This file contains facilities for lemma handling. This is an option that is invoked simply by loading the file; it is stand-alone insofar as it loads all other necessary files including pttp.pl and xray.pl. This approach is detailed in Linke and Schaub (1995). |
| lemma_config.pl | Configuration of lemmas. |
| lemmaflex.pl | Provides dynamic access to different lemma configurations. |