"The Art of Prolog: Advanced Programming Techniques" - читать интересную книгу автора (Sterling L.S., Shapiro E.)