"The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming)" - читать интересную книгу автора (Leon Sterling, Ehud Shapiro)