"Applications of Declarative Programming and Knowledge Management, 17 conf., INAP 2007" - читать интересную книгу автора (Dietmar Seipel, Michael Hanus, Armin Wolf)