Библиографический список

1. Минц Г.А. Полное исчисление для чистого Пролога.– Изв. АН СССР, 1986, № 3, С.27– 42.

2. Мото-ока. ЭВМ пятого поколения. Концепции, проблемы, перспективы. /Под ред. Мото-ока Т.: Пер. с англ.– М.: Финансы и статистика, 1984.– 109 с.

3. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ.–М.: Мир, 1990.– 235 с., ил.

4. Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник. /Под ред. В.Н. Захарова, В.Ф. Хорошевского.– М.: Радио и связь, 1990.– 368 с., ил.

5. Клоксин У., Мелиш К. Программирование на языке Пролог.– М.: Мир, 1987.– 479 с.

6. Ин Ц., Соломон Д. Использование Турбо Пролога: Пер. с англ.– М.: Мир, 1993.

7. Калиниченко Л.А., Тихонов Ю.В. Система Мпролог для автоматизации обработки знаний на ЭВМ. /В сб. «Информационное обеспечение комплексной программы научно-технического прогресса стран– членов СЭВ до 2000 года. Методические материалы и документация по пакетам прикладных программ. Выпуск 59». М.: МЦНТИ, 110 с.

Приложение А Ключевые слова

Backtrack After Fail (BAF)

Char

Clauses

Constants

Cut And Fail (CAF)

Database

Domains

Fail

File

Goal

Input

Integer

Internal

Output

Predicates

Real

Selector

String

User Defined Repeat (UDR)

Window

Аксиома

Алгоритм

Альтернатива

Анонимная переменна

База данных внешняя

База данных встроенная

Возврат

Вопрос

Интерпретатор

Конкретизация

Константа

Логическая программа

Множество

Обобщение

Откат

Отношение

Отсечение

Переменная

Подстановка

Правило

Предикат

Пролог

Редукция цели

Резольвента

Рекурсия

Совпадение

Списки

Структура

Терм

Унификатор

Факт

Целевое утверждение

[1] Father (англ.)– отец.

[2] Здесь и далее, если это не оговаривается особо, при записи фактов, правил и вопросов, мы будем придерживаться синтаксиса языка Turbo Prolog.

[3] Child (англ.)– дитя, ребенок.

[4] Pair (англ.)– пара, в контексте: семейная пара.

[5] Yes (англ.)– да; No (англ.)– нет.

[6] Бретон Ги. От Анны де Боже до Марии Туше. Из серии «Женщины и короли»: Пер. с франц. В. Егорова.— М.: Пересвет, 1993.— 335 с.

[7] Father (англ.)– отец, mother (англ)– мать.

[8] Grandfather (англ.)– дедушка, grandmother (англ.)– бабушка.

[9] Wife (англ.)– жена.

[10] Mother-in-law (англ.)– теща.

[11] Для того чтобы протокол был понятнее, резольвенты напечатаны с отступом относительно предшественника.