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