"Programming in Prolog" - читать интересную книгу автора (William F. Clocksin, Christopher S. Mellish)