"Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)" - читать интересную книгу автора (Patricia M. Hill, David S. Warren)