3. Содержание отчета

Замечания:

• Отчет по лабораторной работе защищается лишь после успешной сдачи теоретической части.

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

• В противном случае отчет выполняется на бумажном носителе и должен содержать:

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

2. Задания (все).

3. Одну из программ (по выбору студента) и результат ее выполнения.

(Остальные программыи результаты их выполнения студент должен в этом случаеуметь объяснить устно).

3. Вопросы для самоконтроля

5.1. Введите понятия:

• объекты данных,

• атом, число, переменная, структура, терм,

• заголовок, тело, предикат,

• функтор, арность, главный функтор терма,

• утрерждение, факт, правило, цель, предложение,

• унификация, сопоставление, конкретизация, наиболее общая конкретизация, сцепленные (связанные) переменные,

• конкретизация предложений, механизм возврата,

• вариант предложения,

• декларативная семантика,

• процедурная семантика,

• согласование целевого утверждения, вычисление целевого утверждения.

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

5.3. Структура программы на Visual Prolog.

5.4. Форма записи арифметических операций.

6. Рекомендуемая литература

1. Братко И. Программирование на языке Пролог для искусственного интеллекта:Пер. с англ. - М.:Мир, 1990.-560 с., (С.18-93).

2. Пролог – язык программирования будущего/ Дж. Доорс, А.Р. Рейнблейн, С. Вадера:Предисловие А.Н.Волкова. - М.:Финансы и статистика,1990. – 144 с., (С.9-43, 65-76).

3. Малпас Дж. Реляционный язык Пролог и его применение:Пер. с англ./Под редакцией В.Н. Соболева. – М.:Наука. Гл. ред. физ.-мат. лит., 1990. –464с., (С.75-110).

4. Янсон А. Турбо-Пролог в сжатом изложении:Пер. с нем.- М.:Мир,1991. – 94 с.

5. Обучающая программа языка. Visual Prolog версия 5.0. -Prolog Development Center A/S H.J. Holst Vej 3A-5A, Copenhagen DK - 2605 Broendby Denmark.

6. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог:Пер. с англ. – М.: Мир, 1990. – 235 с., (С. 13-43; 62-75;81-82; 84-116).

Приложение а

/************************************************

Copyright (c) 1984 - 1998 Prolog Development Center A/S

Project:

FileName: CH02E01.PRO

Purpose:

Written by: PDC

Modifyed by: Eugene Akimov

Comments:

***********************************************/

PREDICATES

nondeterm likes(symbol,symbol)

CLAUSES

likes(ellen,tennis).

likes(john,football).

likes(tom,baseball).

likes(eric,swimming).

likes(mark,tennis).

likes(bill,Activity):-

likes(tom, Activity).

GOAL

likes(bill, baseball).