"Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 " - читать интересную книгу автора (Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki)