"Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings" - читать интересную книгу автора (Manuel Hermenegildo, Daniel Cabeza)