TURBO PROLOG. Терёхин В.В. - 41 стр.

      Программа "Конструктор слов" (листинг 3.1) является примером за-
конченной программы с использованием предикатов и утверждений. Целью
программы является поиск и печать синонима некоторого слова. Синонимом
слова brave является daring. Следующее утверждение указывает на синони-
мичность этих слов:
      synonym(brave, daring). /* daring - синоним brave */
      Термом предиката здесь является synonym, а объекты это brave и
daring. Описание предиката для этого утверждения будет выглядеть так:
            synonym(word,syn)
где word и syn - объекты описываемого предиката.
____________________________________________________________
                  Листинг 3.1
/* Программа: Конструктор слов Файл: PROG0301.PRO */
/* Назначение: Демонстрация ассоциаций слов при */
       /*        помощи небольшого словаря.         */
      domains
            word, syn ,ant = symbol

     predicates
           synonym(word,syn)
           antonym(word,ant)

     goal
            synonym(brave,X),
            write("A synonym for 'brave' is "),
            nl,
            write("'",X,"'."),
            nl.

      clauses
            synonym(brave,daring).
            synonym(honest,truthful).
            synonym(modern,new).
            synonym(rare,uncommon).
            antonym(brave,cowardly).
            antonym(honest,dishonest).
            antonym(modern,ancient).
            antonym(rare,common).
/*****         конец программы         *****/
_____________________________________________________________
      Описание их доменов - это
            word, syn = symbol
      Данное описание показывает, что оба объекта предиката synonym
представляют собой символические имена. Предикат synonyn используется в
четырех утверждениях:


                                                                     41