Функциональное и логическое программирование: учеб.-метод. пособие

Abstract

Курс «Функциональные и логические языки» читается для студентов на факультете математики и информационных технологий Алтайского госуниверситета. Одна из основных задач курса – сформировать у студентов необходимую теоретическую базу и практические навыки для создания программных продуктов с использованием одного или нескольких языков декларативного программирования. В качестве практической базы используется среда Visual Prolog и интерпретатор Common Lisp.