Программа «Синонимы» демонстрирует использование предикатов и утверждений. Целью программы является поиск и печать синонима некоторого слова. Например, синонимом слова brave является daring. Это описывается следующим предикатом:

synonym(brave, daring).

Термом предиката здесь является synonym, а объекты это brave и daring.

Описание предиката для этого утверждения будет выглядеть так:

synonym(word,syn)

где word и syn - объекты описываемого предиката.

/* Программа "Синонимы" */
/* Описание доменов: оба объекта предиката synonym - символические имена. */
domains
  word, syn = symbol
 
/* Описание предикатов */
predicates
  synonym(word,syn)
 
/* Утверждения:  первая позиция - некоторое слово, вторая - его синоним.*/
clauses
  synonym(brave,daring).
  synonym(honest,truthful).
  synonym(modern,new).
  synonym(rare,uncommon).
 
/* внутренняя цель */
goal
  synonym(brave,X),
  write(“A synonym for ‘brave’ is “),
  nl,
  write(“’”,X,”’.”),
  nl.

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