The semantics of predicate logic as a programming language (1976)

by M H van Emden, R A Kowalski
Venue:Journal of the ACM