You are about to access our book library "Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science, 315) full version" .