MIT Press
International Logic Programming Symposium
Logic and language

Apt, K. (1993). Declarative programming in prolog. Proceedings of Logic Programming 1993, 12–35.