3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 - Fuchi, Kazuhiro (Lecture notes in computer science, 1986)