"Logic, Programming and Prolog" - читать интересную книгу автора (Nilsson U., Maluszynski J.)