van Emden, M. H.; Kowalski, R. A. The semantics of predicate logic as a programming language. (English) Zbl 0339.68004 J. Assoc. Comput. Mach. 23, 733-742 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 ReviewsCited in 249 Documents MSC: 68N01 General topics in the theory of software 68Q45 Formal languages and automata 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68T10 Pattern recognition, speech recognition 03B10 Classical first-order logic PDF BibTeX XML Cite \textit{M. H. van Emden} and \textit{R. A. Kowalski}, J. Assoc. Comput. Mach. 23, 733--742 (1976; Zbl 0339.68004) Full Text: DOI