"Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings" - читать интересную книгу автора (Maurizio Gabbrielli, Gopal Gupta)