Predicate Logic as a Programming Language (1974)

by R A Kowalski
Venue:In Proceedings IFIPS