ВУЗ:
Составители:
151
predok(X,Z):-parent(X,Y),predok(Y,Z).
9. Задать системе вопросы, относящиеся к отношению ПРЕДОК:
"Кто является предком Раmе ?"
?-predok(pame,X).
X=bob;
X=anna;
X=pate;
X=hime;
no
10. Включить режим трассировки и выполнить заново вопросы из пп. 4 и 7, наблюдая
процесс доказательства целей интерпретатором языка Пролог.
11. Оформить отчет, в который включить пролог-программу, вопросы, представленные
средствами Пролога, и ответы на данные вопросы, выданные Пролог-системой.
Основные сведения
Запуск системы
1. При загрузке операционной системы из Start up menu, имеющего следующий вид:
1) Base
2) Prolog
выбрать второй
пункт.
2, Запуск системы Arity Prolog:
Системно
е меню Системное меню имеет следующий вид:
File Edit Buffers Info Debug Switch
Для возможности выбора пунктов системного меню следует нажать клавишу Alt.
Работа с файловой системой
Для возможности работы с функциями файловой системы следует выбрать пункт File
системного меню (Alt F). Работа с фай-кмюй системой включает следующие функции: открытие и
закры-aw файлов, сохранение файлов под определенным именем, а также н hi код из системы,
predok(X,Z):-parent(X,Y),predok(Y,Z).
9. Задать системе вопросы, относящиеся к отношению ПРЕДОК:
"Кто является предком Раmе ?"
?-predok(pame,X).
X=bob;
X=anna;
X=pate;
X=hime;
no
10. Включить режим трассировки и выполнить заново вопросы из пп. 4 и 7, наблюдая
процесс доказательства целей интерпретатором языка Пролог.
11. Оформить отчет, в который включить пролог-программу, вопросы, представленные
средствами Пролога, и ответы на данные вопросы, выданные Пролог-системой.
Основные сведения
Запуск системы
1. При загрузке операционной системы из Start up menu, имеющего следующий вид:
1) Base
2) Prolog
выбрать второй
пункт.
2, Запуск системы Arity Prolog:
Системно
е меню Системное меню имеет следующий вид:
File Edit Buffers Info Debug Switch
Для возможности выбора пунктов системного меню следует нажать клавишу Alt.
Работа с файловой системой
Для возможности работы с функциями файловой системы следует выбрать пункт File
системного меню (Alt F). Работа с фай-кмюй системой включает следующие функции: открытие и
закры-aw файлов, сохранение файлов под определенным именем, а также н hi код из системы,
151
Страницы
- « первая
- ‹ предыдущая
- …
- 149
- 150
- 151
- 152
- 153
- …
- следующая ›
- последняя »
