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

ряд фруктов. Лучше поэтому дать соответствующему домену имя thing
или item. Тогда peaches и rain не противоречили бы друг другу.
      Предположим теперь, что Вы хотите создать картотеку своих книг.
Тогда предикат book логично было бы использовать в виде
      book("Tom Sawyer","Mark Twain",1855).
      book("Man and Superman","Bernard Shaw",1905).
      Отметим, что первые два объекта предиката принадлежат к типу
symbol, тогда как третий - к типу integer. Сам предикат можно было бы опи-
сать как
      book(symbol,symbol,integer)
или, что то же самое,
      domains
            title, author = symbol
            year         = integer
      predicates
            book(title, author , year)
      Чуть позднее в настоящей главе мы рассмотрим более подробно пре-
имущества записи, использующей явное определение доменов.
     3.2.2 Правила образования имен в Турбо-Прологе
      Любое имя, используемое в Турбо-Прологе, должно состоять не более
чем из 250 символов, первый из которых при этом должен обязательно быть
строчной буквой латинского алфавита (от a до z). Пробелы в записи имени
недопустимы, однако можно использовать подчерк (_) в качестве раздели-
теля компонент так, как это сделано ниже:
      employee_name
      color_of_box
      wild_animal_kingdom
            beginning_of_year_to_date_activities_report
      Большинство программистов, однако, предпочитают пользоваться бо-
лее краткими именами. Имена, приведенные в качестве примера очень удоб-
ны для понимания программы, однако у них есть весьма существенный не-
достаток - они длинны. В Турбо-Прологе предусмотрена возможность за-
давать имена, состоящие все-го из одной буквы:
            domains
                  a, b = symbol
            predicates
                  s(a,b)
            clauses
                  s(brave,daring)

     3.3 Предикаты и утверждения
     В этой части главы Вы начнете знакомиться с основами программи-
рования на Турбо-Прологе. Представленные здесь программы иллюстри-
руют основные особенности языка.


                                                                         40