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