ВУЗ:
Составители:
148
10. ПРАКТИЧЕСКАЯ РАБОТА 8 СИСТЕМЕ ARITY PROLOG
Основы работы в системе Arity Prolog
Цель работы: получение основных навыков работы в системе Arity Prolog, изучение
технологии подготовки и отладки пролог-программ.
Порядок выполнения работы
1. Запустить систему Arity Prolog.
2. Ввести бинарное отношение РОДИТЕЛЬ (англ.:parent) и представить его в виде
Пролог-программы. При этом запись
parent( torn, bob) означает, что torn является родителем bob'a. Символы torn и bob пишутся со
строчной буквы, так как являются константами языка Пролог. Переменные языка Пролог
начинаются с заглавных букв.
Отношение РОДИТЕЛЬ представим следующей пролог-программой. включающей только
одни факты:
parent (pame, bob).
parent(tom,bob).
parent(tom,Iize).
parent(bob,aima).
parent(bob,pate),
parent(pate,jhim).
Следует отметить, что после каждого предложения языка Пролог, в том числе после фактов,
обязательно ставится точка.
3. Войти в текстовый редактор системы Arity Prolog и набрать представленную в п. 2
Пролог-программу.
4. Составить и задать набранной программе вопросы, наиболее полно отражающие
возможности языка Пролог для данного примера, зафиксировать ответы пролог-системы на каждый
вопрос.
Ниже перечислены вопросы, их кодировка на языке Пролог, ответы пролог-системы и их
интерпретация.
ВОПРОС 1: "Является ли Bob родителем Pate ?".
?-parent(bob,pate),
yes Цель
достигнута, успех.
10. ПРАКТИЧЕСКАЯ РАБОТА 8 СИСТЕМЕ ARITY PROLOG
Основы работы в системе Arity Prolog
Цель работы: получение основных навыков работы в системе Arity Prolog, изучение
технологии подготовки и отладки пролог-программ.
Порядок выполнения работы
1. Запустить систему Arity Prolog.
2. Ввести бинарное отношение РОДИТЕЛЬ (англ.:parent) и представить его в виде
Пролог-программы. При этом запись
parent( torn, bob) означает, что torn является родителем bob'a. Символы torn и bob пишутся со
строчной буквы, так как являются константами языка Пролог. Переменные языка Пролог
начинаются с заглавных букв.
Отношение РОДИТЕЛЬ представим следующей пролог-программой. включающей только
одни факты:
parent (pame, bob).
parent(tom,bob).
parent(tom,Iize).
parent(bob,aima).
parent(bob,pate),
parent(pate,jhim).
Следует отметить, что после каждого предложения языка Пролог, в том числе после фактов,
обязательно ставится точка.
3. Войти в текстовый редактор системы Arity Prolog и набрать представленную в п. 2
Пролог-программу.
4. Составить и задать набранной программе вопросы, наиболее полно отражающие
возможности языка Пролог для данного примера, зафиксировать ответы пролог-системы на каждый
вопрос.
Ниже перечислены вопросы, их кодировка на языке Пролог, ответы пролог-системы и их
интерпретация.
ВОПРОС 1: "Является ли Bob родителем Pate ?".
?-parent(bob,pate),
yes Цель
достигнута, успех.
148
Страницы
- « первая
- ‹ предыдущая
- …
- 146
- 147
- 148
- 149
- 150
- …
- следующая ›
- последняя »
