Данный предикат используется для вывода результата выполнения внутренней цели.

clauses
  synonym(brave,daring).
 
/* внутренняя цель */
goal
  synonym(brave,X),
  write("A synonym for 'brave' is "),
  nl,
  write(" ",X,"."),
  nl.

Встроенный предикат write в данной программе:

write("A synonym for 'brave' is "),

Двойные кавычки при этом применяются для ограничения символьной строки A synonym for 'brave' is; подобным образом должны выделяться все символьные строки. Предикат write может также содержать имена переменных, в этом случае кавычки не требуются, например:

write(X),

где Х - это имя переменной. Если Х принял значение daring, то write это daring и напечатает.

В обоих случаях, как символьная строка, так и переменная являются аргументами предиката write. Аргументы write разделяются запятыми. Аргументы можно произвольно смешивать при условии соблюдения описываемых соглашений.

Компилятор Пролога поправит Вас, если Вы пропустите кавычки, или сделаете какую-либо другую ошибку того же порядка.

Пример смешанной записи аргументов:

write("Today is the ",N, "the day of ", M, ", a ", D, ".").

Этот предикат напечатает предложение

Today is the 19 the day of August, a Tuesday.
(Сегодня 19 августа, вторник)

если значениями переменных N, M и D будут соответственно 19, August и Tuesday.

Предикат write может вывести только один аргумент за один вызов. То есть нужно использовать примерно такую запись:

write("Today is the ") ,write (N), write ("the day of "), write (M), write(", a "), write (D), write (".")).

Вывод стандартной фразы приветствия:

:- write('Hello World!'), nl.

!!Рекомендуем: Семейная Энциклопедия Здоровья ⇒ Что должен знать современный человек? ⇒ Самоанализ. Работа над собой ⇒ Оглавление ⇒ Главная сайта