Логическое программирование: учебное пособие - Зюзьков, В. М. Валентин Михайлович (Приоритетные национальные проекты. Образование, 2007)