A Prolog technology theorem prover

  • Mark E. Stickel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [1]
    Loveland, D.W. A simplified format for the model elimination procedure. J. ACM 16 (1969), 349–363.CrossRefGoogle Scholar
  2. [2]
    Stickel, M.E. A Prolog technology theorem prover: implementation by an extended Prolog compiler. To appear in J. Automated Reasoning. Earlier, shorter version appeared in Proc. 8th CADE, Oxford, 1986, 573–587.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Mark E. Stickel
    • 1
  1. 1.Artificial Intelligence Center SRI InternationalMenlo Park

Personalised recommendations