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

             female(person)
             father(person,person)
             owns(person,book,book) europe(country,country,coutry,country)
       Объектами предикатов являются person, book и country. Следующие
утверждения используют эти предикаты; арность каждого из них указана в
крайней правой колонке.
       Предикат             Утверждения              Арность
        go_home                go_home                   0
    female(person)            female(betty)              1
                             female(katty)
 father(person,person)     father(john,kathy)            2
                           father(john,tom)
owns(person,book,book) owns(sam,"Hobbit","Lord            3
                             of the Rings")
europe(country,country, europe("France","Germany",       4
   country,country)      "Spain","Italy")
       Первый из предикатов, go_home, не имеет объектов, его арность рав-
на нулю. Предикаты этого типа часто используются для построения правил,
как, например,
       go_home if condition(sickness)
       go_home if (condition(sickness) and transportation(bus))
       Предикаты арности 1 полезны при сортировке объектов программы
по доменам. В приведенном выше примере предикат female указывает, что
имя betty относится к домену женских имен.
       Предикаты арности 2 используются для установления отношения меж-
ду двумя объектами. Так, предикат
             father(person,person)
и соответствующее ему утверждение
             father(john,kathy)
будут означать, что john является отцом kathy. Заметьте, что это же утвер-
ждение можно было бы записать и так:
             father(kathy,john)
       Тогда бы оно "переводилось" как "Отец kathy eсть john". Таким обра-
зом в данном примере порядок следования объектов не важен.
             Предикаты арностей выше 2 пригодны для установления связи
нескольких объектов по какому-либо признаку. В утверждении
             europe("France","Germany","Spain","Italy")
все используемые значения: France, Germany, Spain и Italy принадлежат
домену country. Общим для них является то, что все они обозначают евро-
пейские страны.
       Программа "Словарь" (листинг 3.2) представляет собой некоторое
усложнение программы "Конструктор слов". В ней предикат synonym со-
держит уже четыре объекта: само слово и три его синонима. Дополни-
тельно введен предикат antonym с таким же количеством объектов. Эта про-
грамма являет собой несколько более реалистичный по сравнению с "Кон-


                                                                        45