Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle]