"Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science)" - читать интересную книгу автора (Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki)