Maarten H. van Emden, Robert A. Kowalski. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM, 23(4):733-742, 1976. [doi]
@article{EmdenK76, title = {The Semantics of Predicate Logic as a Programming Language}, author = {Maarten H. van Emden and Robert A. Kowalski}, year = {1976}, tags = {programming languages, semantics, logic programming, programming, logic}, researchr = {https://researchr.org/publication/EmdenK76}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {23}, number = {4}, pages = {733-742}, }