"Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005" - читать интересную книгу автора (Manuel Hermenegildo, Daniel Cabeza)