"Logic, Programming and Prolog, 2nd Edition" - читать интересную книгу автора (Ulf Nilsson, Jan Maluszynski)