Predicate Logic as Programming Language,
Kowalski, R. (1974),
Information Proceedings 74 p. 569–574