Логическое программирование : Учеб. пособие для межвуз. использованияЗюзьков, Валентин Михайлович1999116 с.