A direct proof for the completeness of SLD-resolution

  • Robert F. Stärk
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 440)


  1. [1]
    K. R. Apt and M. H. van Emden. Contributions to the theory of logic programming. JACM, 3(29):841–862, 1982.Google Scholar
  2. [2]
    J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Robert F. Stärk
    • 1
  1. 1.Institut für InformatikUniversität BernSwitzerland

Personalised recommendations