A theory of complete logic programs with equality

Mathematical logic

1967 • 2,104 citations

Negation as Failure

1978 • 2,091 citations

The Semantics of Predicate Logic as a Programming Language

1976 • 1,489 citations

Equations and Rewrite Rules: A Survey

1980 • 726 citations

Automated Theorem Proving: A Logical Basis

1978 • 690 citations

Contributions to the Theory of Logic Programming

1982 • 592 citations

Fixed point theorems and semantics: a folk tale

1982 • 138 citations

Closures and fairness in the semantics of programming logic

1984 • 106 citations

Completeness of the negation as failure rule

1983 • 91 citations

Equality for prolog

1983 • 54 citations

Completeness of calculii for axiomatically defined classes of algebras

1972 • 51 citations

A logical reconstruction of Prolog II

1984 • 47 citations

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.

1984 • 24 citations

Universal unification and a classification of equational theories

2005 • 21 citations

Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1

1981 • 19 citations