Advertisement

PAN — The Prolog analyzer

  • Martin Müller
  • Thomas Glaß
  • Karl Stroetmann
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1145)

References

  1. [SG96]
    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
  2. [SGM96]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Martin Müller
    • 1
  • Thomas Glaß
    • 1
  • Karl Stroetmann
    • 1
  1. 1.Siemens AG, ZT SE 1MünchenGermany

Personalised recommendations