"Programming in Prolog: Using the ISO Standard, 5th edition" - читать интересную книгу автора (William F. Clocksin, Christopher S. Mellish)