Интерфейс среды Турбо Пролог 2.0.

Интерфейс среды TURBO PROLOG 2.0 представлен на рисунке.

Выбирать элементы меню можно несколькими способами:

• выделенная буква (нажмите выделенную цветом в названии этого элемента букву:"F" для "File" и т.д.);
• выделенная полоса (с помощью клавиш со стрелками вверх и вниз передвиньте выделенную полосу на требуемый элемент, а затем нажмите Enter);
• "горячая" клавиша (нажмите клавишу Alt и первую букву элемента главного меню, который вам нужен. Например, [Alt]+E переводит вас в меню Edit из любого места системы).

Для выхода из меню и возврата в предыдущее положение нужно просто нажать Esc.

Такие элементы главного меню, как Files , Compile, Options и Setup, имеют собственные подменю; тогда как b являются непосредственными командами и не имеют каких-либо опций.

2.1 Элементы главного меню и их функции:

Files управление файлами (загрузка, сохранение, создание и т. д.), манипуляции каталогами (вывод, изменение), вызов DOS, выход из системы.

Edit создание и редактирование исходных файлов.

Run автоматическая компиляция и запуск программы из среды.

Compile компиляция программы или проекта одним из нескольких возможных способов: в память, в объектный файл или в исполняемый файл.

Options установка опций компилятора (такие, как контроль переполнения, информация для отладки, размеры памяти, редактирование файла описания проекта (.PRJ).

Setup настройка интерфейса среды Турбо Пролог.

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

Если в среду не загружена программа, при активизации окна создается пустой файл с именем WORK.PRO. Команды редактора можно посмотреть по клавише F1. Выход из окна в главное меню по F10 или Esc.

Trace (окно трассировки) индикация последовательности выполнения программы.

Message (окно сообщений) вывод различных сообщений в процессе работы: о чтении или сохранении файла, об именах предикатов компилируемой в данный момент программы и т. д.

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

Основные операции в среде Турбо Пролог.

Для запуска программы надо дать команду [Alt]+[R] или RUN. Если в текущий момент в редакторе есть исходный текст программы, причем в этой программе нет секции goal, то Турбо Пролог скомпилирует ее (что необходимо для добавления в систему предикатов), а затем активизирует диалоговое окно и пригласит ввести цель (Goal).

[F2] – сохранение программы.

[F3] – загрузка программы с жесткого диска.

[F5] – развернуть активное окно во весь экран (для выхода из полноэкранного режима нажать [F5]).

[F6] – переход между окнами редактора.

[F8] – вызов последней из ранее введенных целей (выход из окна нажатием клавиши [Esc]).

[F9] – компиляция программы.

Активное окно отмечено двойной рамкой. Размеры и положение активного окна можно менять, используя для этого клавиши со стрелками, (либо их комбинации с [Shift] или [Ctrl]).

Для выхода из среды Турбо Пролог нажать комбинацию [ Alt ]+[ X ].

Для запуска уже существующей программы в среде следует:

• Запустить файл PROLOG.EXE в папке с программой или щелкнуть по ярлыку на рабочем столе Windows .
• Снять заставку среды любой клавишей.
• Выбрать меню Options , подменю Compiler directives , установить режим трассировки Trace равным Trace .
• Для выбора нужного файла программы нажать [F3]
• На приглашение ввести имя файла нажать [Enter]. На экран выведется список файлов текущей директории с расширением PRO. Выбрать нужный файл и загрузить его клавишей [Enter]. Активизируется окно редактирования.
• Если редактировать файл не надо, можно сразу запустить его на выполнение([Alt]+[R]). В случае успешной компиляции активизируется диалоговое окно.
• На приглашениеGoal: ввести цель, нажать[Enter].
• Нажимая[F10], выполнить программу по шагам.

Трассировка.

Для трассировки необходимо откомпилировать программу с включенной опцией трассирования. Включить ее можно либо из меню Options / Compiler Directives, либо введя в исходный текст директивы trace или shorttrace. С помощью комбинации [Alt]+[P] можно задать Турбо Прологу дублирование данных, вводимых в окно трассирования, на принтере ( Printer ON ) или в файле ( LOG file ON ). Для перехода к следующему шагу трассировки используется клавиша [ F 10]. Чтобы прервать трассировку надо нажать[ ESC ].

Во время исполнения программы при включенной трассировке в специальном окне трассировки будет отображаться следующая информация:

• после слова "CALL" будет указано имя выполняемого предиката (текущая подцель) и его параметры;

• после слова"FAIL" будет выводиться имя текущей подцели, которая не была достигнута;

• после слова "RETURN" будет выводиться результат вычисления текущей подцели, в случае успеха. При этом если у подцели есть еще альтернативы, к которым возможен возврат, то перед именем предиката высвечивается звездочка ("*");

• слово "REDO" перед именем предиката указывает на то, что произошел возврат и происходит вычисление альтернативного решения.

Задание для лабораторной работы.

Познакомиться со средой Turbo Prolog. В соответствии с вариантом задания, определенным преподавателем ввести программу. Добавить к ней 3 факта относящихся к соответствующей области знаний. Построить семь различных запросов к базе знаний. В отчетзаписать номер варианта, текст программы, с введенными дополнительными фактами, запросы и их результаты, трассы этих запросов.

Варианты заданий.

1. Музыка

Predicates

songster (symbol, symbol).

Clauses

songster (“sadness”, ”enigma”).

songster (“mea culpa”, ”enigma”).

songster (“principles of lust”, ”enigma”).

songster (“white dove”, ”scorpions”).

songster (“still loving you”, ”scorpions”).

songster (“nothing else matters”, ”metallica”).

1. Жанры кино

Predicates

movie(symbol, symbol).

Clauses

movie (“man in black”, ”comedy”).

movie (“man in black - 2”, ”comedy”).

movie (“King Kong”, ”Adventure”).

movie (“Indiana Jones”, ”Adventure”).

movie (“The Lion King”, ”Cartoon”).

movie (“Ice Age”, ”Cartoon”).

1. Расширения файлов

Predicates

extension (symbol, symbol).

Clauses

extension (“picture”,”*.jpg”).

extension (“picture”,”*.tif”).

extension (“picture”,”*.gif”).

extension (“video”,”*.mp4”).

extension (“video”,”*.mov”).

extension (“text”,”*.txt”).

1. Авторы книг

Predicates

book (symbol, symbol).

Clauses

book (“the fellowship of the ring”, ”tolkien”).

book (“hobbit”, ”tolkien”).

book (“hit or myth”, ”asprin”).

book (“myth inc.”,”asprin”).

book (“karrie”,”king”).

book (“red rose”,”king”).

1. Времена года

Predicates

season (symbol, integer).

Clauses

season (“january”,”winter”).

season (“march”,”spring”).

season (“april”,”spring”).

season (“may”,”spring”).

season (“june”,”summer”).

season (“august”,”summer”).

1. Количество дней в месяце

Predicates

days (symbol, symbol).

Clauses

days (“january”,31).

days (“march”,31).

days (“april”,30).

days (“may”,31).

days (“june”,30).

days (“august”,31).

1. Типы ПО

Predicates

class (symbol, symbol).

Clauses

class (“Windows”, “Operation System”).

class (“DOS”, “Operation System”).

class (“Unix”, “Operation System”).

class (“Word”, “Text Editor”).

class (“Notepad”, “Text Editor”).

class (“Doom”, “Game”).

1. Фирма - производитель ПО

Predicates

manufacturer (symbol, symbol).

Clauses

manufacturer (“Windows”, “Microsoft”).

manufacturer (“Office”, “Microsoft”).

manufacturer (“Photoshop”, “Adobe”).

manufacturer (“Illustrator”, “Adobe”).

manufacturer (“Flash”, “Macromedia”).

manufacturer (“Dreamweaver”, “Macromedia”).

1. География

Predicates

city (symbol, symbol).

Clauses

city (“ Ryazan ”, “ Russia ”).

city (“ Moscow ”, “ Russia ”).

city (“ Vologda ”, “ Russia ”).

city (“ New York ”, “ USA ”).

city (“ Chicago ”, “ USA ”).

city (“ London ”, “ Great Britain ”).

1. Предпочтения

Predicates

likes (symbol, symbol).

Clauses

likes (“Ivan”, “Cars”).

likes (“Maria”, “Horses”).

likes (“Olga”, “Cars”).

likes (“Maria”, “Cars”).

likes (“Petr”, “Horses”).

likes (“Nastya”, “Toys”).

1. Цвета

Predicates

color (symbol, symbol).

Clauses

color (“Corn”, “Yellow”).

color (“Banana”, “Yellow”).

color (“Cheese”, “Yellow”).

color (“Apple”, “Red”).

color (“Raspberry”, “Red”).

color (“Kiwi”, “Green”).

1. Овощи-фрукты

Predicates

eat (symbol,symbol).

Clauses

eat (“apple”,”fruit”).

eat (“orange”,”fruit”).

eat (“kiwi”,”fruit”).

eat (“potatoes”,”vegetables”).

eat (“onion”,”vegetables”).

eat (“cabbage”,”vegetables”).

1. Дисциплины

Predicates

courses (symbol,symbol)

Clauses

courses ("microelectronics" , “technical”).

courses ("SII", ”technical”).

courses ("Programming", ”technical”).

courses ("psychology", ”humanitarian”).

courses ("history", ”humanitarian”).

courses ("for_lang", ”humanitarian”).

1. Типы данных

Predicates

DataTypes (symbol,symbol)

Clauses

DataTypes ("Integer", “Numeric”).

DataTypes ("Real", “Numeric”).

DataTypes ("Byte", “Numeric”).

DataTypes ("String", “Symbol”).

DataTypes ("Char", “Symbol”).

DataTypes ("Boolean", “Logical”).

1. Производители компьютерных комплектующих

Predicates

comp(symbol, symbol)

Clauses

comp(“NVIDIA”, ”Video Card”).

comp(“ATI”, ”Video Card”).

comp(“Matrox”, ”Video Card”).

comp(“ASUS”, ”Motherboard”).

comp(“Genius”, ”Modem”).

comp(“Genius”, ”Mouse”).

1. Пункты меню .

Predicates

Menu(symbol, symbol)

Clauses

Menu(“New”, ”File”).

Menu(“Save”, ”File”).

Menu(“Open”, ”File”).

Menu(“Copy”, ”Edit”).

Menu(“Paste”, ”Edit”).

Menu (“ Cascade ”, ” Window ”).

Контрольные вопросы.

1. Как производится запуск среды Turbo P rolog ?

2. Какова структура среды Turbo Prolog?

3. Каким образом осуществляется вход в Turbo-среду?'

4. Как создать и отредактировать программу в Turbo-среде?

5. Как производится компиляция программы в среде Turbo Prolog?

6. Каким образом осуществляется выполнение программ в среде Turbo Prolog?

7. Как можно сохранить программу, подготовленную в Turbo-среде?

8. Как производится выход из среды Turbo Prolog?

9. Каково назначение функциональных клавиш среды Turbo Prolog?

10. Какие команды редактора Turbo Prolog вам известны?

11. Что такое факт в Turbo Prolog ?

12. Что такое запрос в Turbo Prolog ?

13. Какие разделы могут присутствовать в программе на языке Turbo Prolog и для чего они используются?

14. Какие виды переменных используются в программе на языке Turbo Prolog и для чего?

15. Для чего используется трассировка?

Лабораторная работа N 2