Программа лабораторных занятий

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

Программа лабораторных занятий включает:

1) подготовку к работе;

2) выполнение работы в лаборатории под руководством преподавателя;

3) составление отчета;

4) защиту лабораторной работы.

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

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

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

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

Требования к оформлению отчёта

Оформление отчёта по лабораторной работе должно удовлетворять общим требованиям к текстовым документам, представленным в ГОСТ 2.105-95.

Отчёт должен иметь следующую структуру:

1) титульный лист с фамилией и шифром группы студента, название дисциплины и лабораторной работы с ее порядковым номером;

2) содержание;

3) цель работы;

4) основная часть, содержащая схему эксперимента, блок-схемы разрабатываемых программ, формулы для расчета, таблицы данных расчета, графические зависимости, построенные по результатам экспериментов;

5) выводы по работе;

6) отчет оформляется на скрепленных листах белой бумаги формата А4.

Отчет должен отвечать следующим требованиям:

1) все блок-схемы, графики и другой иллюстративный материал должен быть выполнен с использованием чертежных инструментов или компьютера;

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

3) графические зависимости должны выполняться в масштабе, удобном для анализа.

Защита лабораторной работы. На защите лабораторной работы студент должен представить отчет, показать знания теоретической и экспериментально (программно) частей работы, ответить на вопросы преподавателя, а также уметь объяснять полученные результаты и делать грамотные выводы.

 

Лабораторные работы

 

2.1. Лабораторная работа № 1. Исчисление предикатов. Разработка программы построения отношений с использованием языка Пролог

 

1.Цель работы.

Изучение системы Visual Prolog, приобретение практических навыков составления, отладки и выполнения простейшей программы в системе Visual Prolog версии 5.2.

2.Основные теоретические положения

Объекты данных в Прологе называютсятермами. Терм может быть: константой, переменной, структурой (составной терм).

Числа записываются точно так же, как и в других языках программирования.

Константы относятся к одному из 6 стандартных типов данных (доменов), представленных в табл. 1.1.

Таблица 1.1

Тип	Ключевые слова	Диапазон значений	Примеры
Символы	Char	Все возможные одиночные символы	’a’, ’B’, ’?’
Целые числа	Integer	-32768…32767	-15, 1235,9
Действ. числа	Real	1E-307…1E308	48, 2.45E-8
Строки	String	Последовательность символов (до 250)	”Москва” “a_min”
Символические имена	Symbol	1. Последовательность букв, цифр, знака подчеркивания (первый символ – строчная буква) 2. Последовательность заключенных в кавычки символов	Real_data1   “Delete f1” “С++”
Файлы	File	Допустимое в Windows 9X, Me, 2000, XP, 2003 имя файла	a.txt progr.pro

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

Структуры (сложные термы) - это объекты, которые состоят из нескольких компонент. Структура записывается с помощью указания ее функтора и компонент. Компоненты заключаются в круглые скобки и разделяются запятыми. Число компонент в структуре называются арностью структуры.

Пример структуры: data_r(12, mart, 1962). Здесь data_r – функтор, 12, mart, 1962 – компоненты. Арность приведенной структуры равна трем.

Структура программы

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

Domains

<описание типов данных>

Database

<описание предикатов динамической базы данных>

Predicates

<описание предикатов>

Clauses

<утверждения>

Goal

<целевое утверждение>

В программе наличие всех разделов не обязательно. Обычно в программе должно быть по крайней мере разделы predicates и clauses.

Раздел Domains

Существует 4 способа объявления типов данных (доменов):

1. name = d, где name – имена объектов стандартного типа, d –один из типов (char, symbol, integer, real, string)

2. list = element*, где list – cсписок элементов element, element – элемент, описанный в разделе domains или один из стандартных типов, * - список.

3. num1 = f1 (d11, …, d1M); f2 (d21, …, d2N). Тип num1 включает сложные объекты, которые объявляются путем установления функтора и описаний всех входящих в него компонент. collection = book (author, title); record (artist, album, type). Один оператор раздела domains описывает только один уровень дерева; books = book (title, author(name, surname)) – неверно.

4. file = name1; name2; …. Используется для обращения к файлам по символическим именам. В разделе domains может быть только один оператор этого типа. Символические имена файлов, если их несколько, задаются в качестве альтернативы.

Раздел Predicates

Предикат (отношение) в общем случае – это структура вида:

Prednames(komp1, komp2, …), где predname – имя предиката, komp1, … - типы компонентов, описанных в разделе domains или стандартные типы.

Например:

domains

fio=string

den, god=integer

mes=symbol

predicates

anketa(fio,den,mes,god)

Если в предикатах используются только стандартные типы данных, то раздел domains может отсутствовать:

predicates

anketa (string, integer, symbol, integer)

Предикат может состоять только из одного имени, например:

predicates

result

Допускается многократное объявление предиката с одним и тем же именем. Одинаковое число компонентов в альтернативе необязательно.

Раздел Clauses

В разделе clauses размещаются предложения (утверждения). Предложение представляет собой факт или правило, соответствующее одному из объявленных предикатов.

Факт – простейший вид утверждения, которое устанавливает отношение между объектами. Пример факта:

anketa (“Иванов”, 5, august, 1950).

Этот факт содержит атом anketa, который является именем предиката, и в скобках после него дается список термов, соответствующих компонентам этого предиката. Факт всегда заканчивается точкой. Факты содержат утверждения, которые всегда являются безусловно верными.

Правила отражают некую логическую зависимость некоторого предиката от других предикатов.

Правило состоит из заголовка и тела, соединенных символом:- (if). Заголовок правила – некий предикат, возможно, содержащий переменные. Тело правила (хвостовые цели) – список предикатов, разделенных запятыми. Заголовок if подцель1, подцель 2, …, подцельN. Правило в общем случае гласит, что предикат, составляющий заголовок правила, будет истинным, если истинны все подцели, входящие в его тело, т.е. “,” имеет смысл конъюнкций. И заголовок, и подцель могут содержать переменные. Одноименные переменные имеют смысл только в рамках одного правила, т.е. областью действия переменной в Пролог является утверждение (как факт правила или цель).

Правила заканчиваются точкой. Тело содержит список термов, разделенных запятыми или; (:- if) (, and) (; or).

Все предложения раздела clauses, описывающие один и тот же предикат, должны записываться друг за другом.

Раздел Goal

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

В вопросах могут использоваться переменные.

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