Колногоров А.В. Применение логических языков программирования для решения задач искусственного интеллекта : учебное пособие / А. В. Колногоров, Д. Н. Шиян, 2015. - 87 с. - Текст : непосредственный.