"Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings " - читать интересную книгу автора (Philippe Codognet)