Logic Programming - Vol. 1: Proceedings of the Fifth International Conference and Symposium (Mit Press Series in Logic Programming)