A direct proof for the completeness of SLD-resolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 440 LNCS, Issue , 1990, Pages 382-383

  Stärk, Robert F ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84890840926     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52753-2_52     Document Type: Conference Paper

References (2)

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