Главная

ПРОЕКТ "ЧЕЛОВЕК. ЗЕМЛЯ. ВСЕЛЕННАЯ"

Инструменты пользователя

Инструменты сайта


project:prolog:listing:sinonimy



Программа "Синонимы"

Программа «Синонимы» демонстрирует использование предикатов и утверждений. Целью программы является поиск и печать синонима некоторого слова. Например, синонимом слова 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.

!!Рекомендуем: Семейная Энциклопедия ЗдоровьяОбучениеКонсультация аналитикаОглавлениеГлавная сайта

Обсуждение

Ваш комментарий:
S S C M S
 
project/prolog/listing/sinonimy.txt · Последние изменения: 2012/02/23 11:55 (внешнее изменение)

Вы можете оставить свои комментарии в разделе "Обсуждение".
Рекомендуем оформить подписку на новости данного раздела. Для этого нажмите на кнопку "Подписаться", расположенную справа снизу каждой страницы (знак конверта).


www.work-zilla.com

Индекс цитирования