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