Negation in logic programming

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

On notation for ordinal numbers

S. C. Kleene · Journal of Symbolic Logic · 1938 · 762 citations

Natural Sciences, Mathematics, Formal Methods +8

Algorithm = logic + control

Robert Kowalski · Communications of the ACM · 1979 · 602 citations · Full text

Computing, Computer Science, Algorithms +11

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 1982 · 588 citations · Full text

Computing, Computer Science, Artificial Intelligence +7

A kripke-kleene semantics for logic programs*

Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations

Language Studies, Computer Science, Mathematics +12