Методические указания по выполнению курсового проекта по дисциплине «Функциональное и логическое программирование»

1. Общие положения.

Курсовой проект выполняется в среде Visual Prolog 5.2 в режиме Test Goal (стратегия Easywin). Возможно выполнение курсового проекта и в визуальной среде программирования (стратегия VPI). Проект, выполненный в визуальной среде программирования, может быть оценен более высоким баллом.

Пояснительная записка проекта начинается с обложки, образец которой приведен в приложении 1, затем идет титульный лист (приложение 2), за которым располагается лист задания (на обратной стороне листа задания в строке «Задание принял к исполнению» должна быть подпись студента и дата выдачи задания). Далее после листа оглавления идут разделы проекта, перечисленные в п.4 задания на курсовой проект. В конце записки располагаются листы графического материала (п.5 задания). Образцы листов графической части проекта даются в приложениях 3, 4. Перед листом графической части должен быть лист с текстом «Графическая часть курсового проекта».

2. Содержание разделов пояснительной записки.

Введение. Осветить важность информационных технологий в настоящее время, быстрое развитие программного обеспечения и языков программирования. Указать место Пролога и Лиспа среди других языков программирования. Увязать тему курсового проекта с возможностью практического использования результатов проектирования, в овладении технологии программирования на Прологе.

Постановка задачи. Взять из п. 3 задания по курсовому проектированию.

Теоретическая часть. Дать теоретический материал, связанный с тематикой курсового проекта в объеме, достаточном для решения задач, поставленных в задании по курсовому проектированию.

Структурная схема программы. Описать структурную схему программы, которая отображает основные модули программы и взаимосвязи между ними. Сама структурная схема располагается на одном из листов графической части проекта.

Описание предикатов. Описать предикаты, объявленные пользователем в разделе predicates. Стандартные предикаты не описываются. Описание предикатов производится в следующей последовательности: имя предиката, после него в скобках параметры предиката в виде переменных, далее в скобках указывается тип каждого параметра (для списка определяется путем указания типа элементов списка со звездочкой) и через двоеточие приводится поточный шаблон предиката. В конце дается словесное описание предиката, из которого должно быть понятно назначение предиката, т.е. какую операцию он определяет, а также назначение каждого из параметров предиката.

Пример описания предиката:

Вставка (Эл, Сп1, Сп2) (integer, integer*, integer*) : (i, i, o) – отсортированный список Сп2 получен посредством вставки элемента Эл в отсортированный список Сп1.

Текст программы. Дать распечатку содержимого основного исходного модуля программы с расширением .PRO.

Тестирование программы. Привести результаты тестирования программы с указанием выявленных при тестировании ошибок, если они были, и способов их устранения. Тестирование программного обеспечения должно быть проведено для разных возможных вариантов использования программы. Основные варианты тестирования привести в виде рисунков оконных форм на листах графической части проекта.

Руководство для пользователя. В руководстве пользователя дать описание состава программного обеспечения, порядка его запуска, подготовки исходных данных, особенностей работы с программой, интерпретации результатов выполнения программы.

Выводы. Указать назначение программы, где она может использоваться, возможные пути развития и совершенствования разработанного программного обеспечения. Попробовать оценить разработанное программное обеспечение с точки зрения сравнения его с соответствующим программным обеспечением, если бы оно было разработано на процедурном языке.

Литература. Привести список использованных библиографических источников, оформленный в соответствии с приведенными в приложении 5 примерами библиографического описания изданий.