Ковальков А.Т., Ковалькова И.А. (сост.) Функциональное и логическое программирование

Лабораторный практикум для студентов специальностей “Программное обеспечение информационных технологий” и «Информационные системы и технологии (по направлениям)». — Минск: БНТУ, 2012. — 52 с.Предлагаемые лабораторные работы ставят своей целью закрепление теоретического материала и приобретение студентами практических навыков программирования на языке логического программирования Пролог (в среде Visual Prolog версии5.2) и языке функционального программирования Лисп (в системе программирования muLisp).
В каждой лабораторной работе указывается цель работы, краткие справочные данные по теме работы, содержание задания, варианты заданий и содержание отчета по работе. В конце лабораторной работы даются контрольные вопросы по выполняемой теме. Некоторые вопросы могут предполагать знания, не изложенные в справочных данных к работе. В этом случае требуется использование конспекта лекций, дополнительной литературы и, возможно, сведений, почерпнутых из Internet.Лабораторные работы:
Основы работы с Visual Prolog в режиме Test Goal;
Составление простейшей пролог-программы;
Формирование правил;
Рекурсия;
Использование отсечения в пролог-программах;
Работа со списками;
Работа со строками;
Использование составных объектов;
Работа с файлами;
Построение меню;
Динамические базы данных;
Внешние базы данных;
B + деревья;
Рекурсивное объявление доменов;
Основы работы в среде визуального программирования Visual Prolog;
Система программирования muLisp;
Определение функций в Lisp.