Derivation of Logic Programs

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

The Semantics of Predicate Logic as a Programming Language

1976 • 1,489 citations

A Transformation System for Developing Recursive Programs

1977 • 1,316 citations

Predicate Logic as Programming Language.

1974 • 605 citations

Algorithm = logic + control

1979 • 601 citations

A First Order Theory of Data and Programs.

1977 • 92 citations

Predicate logic: a calculus for deriving programs

1977 • 40 citations