Unsolvable decision problems for PROLOG programs

This publication has 8 references indexed in Scilit:

• The consistency of negation as failure
  The Journal of Logic Programming, 1986
• Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions
  Journal of Automated Reasoning, 1986
• Completeness of the SLDNF-resolution for a class of logic programs
  Published by Springer Nature ,1986
• Negation as failure. II
  The Journal of Logic Programming, 1985
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
  The Journal of Logic Programming, 1984
• Negation as Failure
  Published by Springer Nature ,1978
• Computability of Recursive Functions
  Journal of the ACM, 1963
• Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
  Annals of Mathematics, 1961