Logic programming : proceedings of the 14th International Conference on Logic Programming - Naish, Lee (MIT Press, 1997)