PAN — The Prolog analyzer

Karl Stroetmann and Thomas Glaß, A declarative semantics for the Prolog cut operator. In Roy Dyckhoff, Heinrich Herre, and Peter Schröder-Heister, editors, Extensions of Logic Programming, volume 1050 of Lecture Notes in Computer Science, pages 255–271. Springer Verlag, 1996.Google Scholar

Karl Stroetmann, Thomas Glaß, and Martin Müller. Implementing safety-critical systems in Prolog: Experiences from the R&D at Siemens. In Peter Reintjes, editor, Practical Applications of Prolog '96, pages 391–403, 1996.Google Scholar