MIT Press
International Logic Programming Symposium
Logic and language

Apt, K. (1993). Declarative programming in prolog. In Proceedings of Logic programming 1993 (pp. 12–35). MIT Press.