Predicate logic as programming language (1974)

by R A Kowalski
Venue:In Proceedings of International Federation of Information Processing Conference