Логическое программирование

Логическое программирование [Электронный ресурс] : (части 1 - 2) : учеб.-метод. комплекс для бакалавриата по направлению № 036000 - Интеллектуальные системы в гуманитарной сфере / Минобрнауки России, Федер. гос. бюджетное образоват. учреждение высш. проф. образования "Рос. гос. гуманитарный ун-т" (РГГУ), Отд-ние интеллектуальных систем в гуманитарной сфере, Каф. математики, логики и интеллектуальных систем в гуманитарной сфере ; [сост.: Е. А. Ефимова]. - Москва : РГГУ, 2013. - 24 с. - ISBN 978-5-7281-1651-6