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

ветственно имена person и thing. Тогда в разделе программы domains долж-
ны появиться такие описания:
             domains
                   person, thing = symbol
             predicates
                   likes(person, thing)
      Имена person и thing при этом будут обозначать некие совокупности
(домены) значений. В примере из гл. 2 термы mary и beth принадлежат до-
мену person, а apples - домену thing.
      Любое значение домена person может в утверждениях занимать место
объекта person из соответствующего предиката. То же самое можно сказать и
про домен thing. Рассмотрим, например, такие три утверждения:
      likes(john, camera).
      likes(tom, computer).
      likes(kathy, computer).
      Термы john, tom и kathy принадлежат здесь к домену person,а термы
camera и computer - к домену thing. Все три утверждения восходят к од-
ному и тому же предикату - likes; отличие состоит лишь в значениях, кото-
рые принимают объекты. Другими словами, все три утверждения являются
вариациями одного и того же предиката.

* Описание доменов
     Турбо-Пролог имеет 6 встроенных типов доменов: символы, целые
числа, действительные числа, строки, символические имена и файлы. Тип
каждого из доменов должен быть объявлен в разделе программы domains.
     В таблице 3.1 приведены все 6 стандартных типов доменов Турбо-
Пролога.

  Таблица 3.1. Стандартные типы доменов Турбо-Пролога

  Тип данных     Ключевое Диапазон    значений      Примеры использования
                  слово                                   ¦ в Турбо-Прологе
   Символы         сhar    Все возможные символы    'a', 'b', '#', 'B', '\13', '%'



  Целые числа     integer     от -32768 до 32767    -63, 84, 2349, 32763



Действительные    real       от +1Е-307 до +1Е308   -42769, 8324, 360, 093,
    числа                                           1.25Е23,5.15Е-9




                                                                                 37