A goal directed theorem prover

  • David A. Plaisted
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [1]
    Plaisted, D., “Non-Horn clause logic programming without contrapositives,” 1987, Journal of Automated Reasoning, to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • David A. Plaisted
    • 1
  1. 1.Department of Computer ScienceUniversity of North CarolinaChapel Hill

Personalised recommendations