XRay is an experimental theorem prover for query-answering from incomplete knowledge bases. While its theory is based on an approach to query-answering in default logics proposed in Schaub (1995), its implementation relies heavily on Mark Stickel's Prolog Technology Theorem Prover, PTTP Stickel (1984,1988,1989).