Требования к выполнению лабораторных работ

Санкт-Петербургский Государственный Электротехнический Университет им. Ульянова (Ленина) ЛЭТИ

 

Кафедра МОЭВМ

 

Беляев С.

 

Практикум

На языке программирования Пролог

(Методическое пособие)

 

Санкт-Петербург

 


УДК XXX.XX

 

В данном методическом пособии дается описание заданий практикума на языке программирования Пролог для студентов 3 курса факультета КТИ, кафедры МОЭВМ СПбГЭУ (ЛЭТИ). Задания разработаны в поддержку курса «Логическое и функциональное программирование». Приводятся подробные методические пояснения и рекомендации.

 

Рецензенты:

X

X

 

Беляев С. «Практикум на языке программирования Пролог (Методическое пособие )» - СПБ., …(лицензия ЛР №… от …), 2002.-28 с.

 

 

Печатается по решению Редакционно-издательского Совета факультета компьютерной техники и информационных технологий государственного электротехнического университета им. Ульянова (Ленина) ЛЭТИ.

 

ISBN X-XXXXX-XXX-X ã Издательский отдел

факультета компьютерной техники и

информационных технологий СПбГЭТУ

им. Ульянова (Ленина) ЛЭТИ, 2002

Введение

 

Целью выполнения данных лабораторных работ является приобретение и усвоение студентами навыков работы с языком Пролог (формальная постановка задачи, преобразование в форму, пригодную для программирования на Прологе, трассировка и оценка результатов) а также закрепление теоретических знаний, полученных при прослушивании курса лекций «Логическое и функциональное программирование».

 

 

Требования к выполнению лабораторных работ

 

В качестве результата выполнения лабораторных работ студентом считаются следующие документы:

· Отчет о проделанной работе.

· Текст рабочей программы на языке Пролог со всеми необходимыми модулями и настройками (зависит от среды исполнения), реализующей поставленную перед студентом задачу.

· Входные/Выходные данные (при необходимости)

· Трассировка программы (разворачивание стека Прологом)

· Журналы сообщений об ошибках и т.п.

 

Отчет должен содержать следующую информацию:

1. Постановка задачи (исходная и формальная).

2. Необходимые структуры данных и алгоритмы (при не тривиальности последних необходимо представить блок-схемы).

3. Текст программы на языке Пролог (с необходимыми комментариями)

4. Трассировка – т.е. моделирование работы Пролог процессора на критичных модулях разработанной программы (в случае простоты программы производиться полная трассировка кода). Способ реализации данного пункта оставляется на усмотрение студента (диаграммы, история изменения стека, система возвратов и т.п.). Существуют программные среды позволяющие делать трассировку автоматически.

5. Результаты тестирования (наборы входных, выходных данных покрывающие всю функциональную часть).