"PAN - The Prolog Analyzer."

Martin Müller, Thomas Glaß, Karl Stroetmann (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics