"Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007; proceedings" - читать интересную книгу автора (Verónica Dahl, Ilkka Niemelä)