Predicate logic as a programming language (1974)

by R A Kowalski
Venue:In Information Processing '74