Введение в проблему искусственного интеллекта



PROLOG. Реализация на ПЭВМ


1. Интегрировання Среда языка Turbo Prolog.

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

3. Стандартные типы доменов

4. Прототипы предиката

5. Утверждения и цели

6. Арифметические выражения.

7. Встроенные прдикаты языка

1.      Интегрировання Среда языка Turbo Prolog.

Функционирование Т.Р. требует наличие следующих стандартных каталогов:

  • корневой Prolog, в котором должны находится  следующие файлы:
  • prolog.exe
  • prolog.ovl   для создания exe файла
  • prolog.r      тексты сообщения об ошибках
  • prolog.hlp  файл помощи
  • prolog.sys   конфигурация среды
  • prolog.lib   библиотеки
  • prolog.obj   вспомагательный файл для создания пользов-их exe файлов
  • подкаталог PRO для пользовательских исходных файлов (расширение .pro)
  • подкаталог OBJ для пользовательских обьктных и prg файлов
  • подкаталог EXE для хранения пользовательских exe файлов
  • подкаталог DOS для команд ОС в том случае, если предполагается их          использование из пользовательских программ.   (min command.com)

2        Структура программы на TURBO PROLOG

1.Domains

2.predicates

3.clauses

1    Для определения типов доменов или данных, используемых в программе

2    описание прототипов пользовательских предикатов

3    “утверждения” включает описание фактов в виде предикатов и правил,  т.е. декларативных и процедурных знаний

4    содержит цель решения задач, при его отсутствии система запрашивает цель решения задачи в окне диалога и в этом-же окне получаем ответ, при его присутствии в нем помещаем пользовательский интерфейс.

Место для печатания

-35--36--37-

readint (<целое>)

(integer) : (0) - читает целое число, чтение заканчивается нажатием <Enter>

readreal (<вещественное>)

(real) : (0) - вещ.

readchar(<знак>)

 (char) : (0) - читает единичный символ

readln (<строка>) (string) : (0) - читает строку символов

inkey (<знак>) (char) : (0) - заканчивается истиной, если после предыдущей операции была нажата клавиша, возвращается её код.


Содержание  Назад  Вперед