Apt, Krzysztof R.; van Emden, M. H. Contributions to the theory of logic programming. (English) Zbl 0483.68004 J. Assoc. Comput. Mach. 29, 841-862 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 97 Documents MSC: 68N01 General topics in the theory of software 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:Horn classes of first-order predicate logic; high-level programming language; SLD-resolution; theorem prover; semantic characterization of termination; fixpoint semantics; greatest fixpoints; continuity; completeness; nondeterministic flowchart schemata; blocking; termination PDF BibTeX XML Cite \textit{K. R. Apt} and \textit{M. H. van Emden}, J. Assoc. Comput. Mach. 29, 841--862 (1982; Zbl 0483.68004) Full Text: DOI Link