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