Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 148 стр.

UptoLike

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