Faculté des Sciences
2, boulevard Lavoisier
F-49045 Angers Cedex 01
This guide provides a brief introduction to the usage of XRay, a Prolog-technology theorem prover for reasoning from incomplete information; it is based on an approach to query-answering in default logics described in Schaub (1995).
The actual version of XRay is available
Its extension to XXRay, is available here.
The postscript version of this html-document is available here.
Additionally the tests made in Nicolas and Schaub (1998) are available. In Section 6 other test knowledge bases are provided.