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

             write(X),
где Х - это имя переменной. Если Х принял значение daring, то write это
daring и напечатает.
      В обоих случаях как символьная строка, так и переменная являются
аргументами предиката write. Так же как и у других предикатов аргументы
write разделяются запятыми. Аргументы можно произвольно смешивать при
условии соблюдения описываемых соглашений. Компилятор Турбо-Пролога
поправит Вас, если Вы пропустите кавычки, или сделаете какую-либо дру-
гую ошибку того же порядка.
      Пример смешанной записи аргументов:
             write("Today is the ",N,"th day of ",M,", a ",D,".").
      Этот предикат напечатает предложение
      Today is the 19th day of August, a Tuesday.
      (Сегодня 19 августа, вторник)
если значениями переменных N, M и D будут соответственно 19, August и
Tuesday.
      Третья подцель задается еще одним встроенным предикатом: nl. Пре-
дикат nl сдвигает курсор в начало следующей строки. Четвертая подцель -
печать всех трех объектов, заключенных в круглые скобки. Первый из них
представляет собой обычную кавычку; второй, обозначенный как Х, - это
daring; третий состоит из кавычки и точки. Пятая подцель, еще один преди-
кат nl, сдвигает курсор к началу строки, следующей за строкой с daring.
Отметим, что предложение, описывающее цель, должно оканчиваться точ-
кой; если точка будет опущена, компилятор выдаст сообщение об ошибке, и
трансляция программы будет прекращена.
      В результате выполнения всей совокупности целевых утверждений на
экране возникнет картинка.

*     Внешние цели
      Если Вы запустите на счет программу, в которой будет отсутствовать
описание цели, то Турбо-Пролог попросит Вас ввести цель с экрана. Если,
например, из программы "Конструктор слов" удалить раздел goal и запустить
ее на счет, то на экране в окне Dialog возникнет приглашение Goal: .
Предположим теперь, что Вы хотите задать вопрос: "Какое слово является
синонимом слова modern ?" Так же, как и при записи внутренней цели,
переменная Q будет использоваться для представления значения, которое
Турбо-Пролог поставит ей в соответствие, используя утверждения базы дан-
ных. С ее помощью вопрос формулируется в виде
            synonym(modern,Q).
      Результатом ввода этого предложения явится картинка экрана. После
удовлетворения внешней цели выполнение программы, однако, не заверша-
ется. Турбо-Пролог просит ввести следующую внешнюю цель. Таким обра-
зом, можно задать столько целей, сколько это представляется необходи-
мым; чтобы остановить этот процесс нужно нажать клавишу Esc при выдаче
очередного приглашения.


                                                                       43