Соловьев, И. «ИЗУЧЕНИЕ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ НА ПРИМЕРЕ ЗАДАЧ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА». Компьютерные инструменты в образовании, вып. 6, декабрь 2013 г., http://cte.eltech.ru/ojs/index.php/kio/article/view/104.