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

UptoLike

Составители: 

46
структором" пример электронного словаря.
_____________________________________________________________
Листинг 3.2
/* Программа: Словарь Файл: PROG0302.PRO */
/* Назначение: Демонстрация ассоциаций слов при */
/* помощи небольшого словаря. */
domains
word,
syn1, syn2, syn3,
ant1, ant2, ant3 = symbol
predicates
synonym(word,syn1,syn2,syn3)
antonym(word,ant1,ant2,ant3)
goal
synonym(brave,S1,S2,S3) and
write("The synonyms for 'brave' are ")
and nl and write(S1,",",S2,",",S3,".") and nl and
antonym(rare,A1,A2,A3) and
write("The antonyms for 'rare' are") and nl and
write(A1,",",A2,",",A3,".") and nl.
clauses
synonym(brave,daring,defiant,courages).
synnym(honest,truthful,open,sincere).
synonym(modern,new,novel,recent).
synnym(rare,uncommon,scarce,infrequent).
antonym(brave,cowardly,fearful,timid).
antoym(honest,dishonest,crooked,deceithful).
antoym(modern,ancient,old,obsolete). anto-
nym(rare,common,ordinary,ubiqutious).
/***** конец программы *****/
____________________________________________________________
Внутренняя цель программы "Словарь" скомпонована из двух под-
целей. Задачей первой из них является выдача трех синонимов
слова
brave, задачей второй - выдача антонимов слова rare.
Отметим, что в записи целевого утверждения присутствует ключевое
слово and, используемое в качестве разделителя. Здесь оно играет ту же
роль, что и запятая в конструкции цели предыдущей программы.
* Упражнение
3.2. Модифицируйте программу из упражнения 3.1 так, чтобы она ис-
пользовала предикат
структором" пример электронного словаря.
_____________________________________________________________
                              Листинг 3.2
/* Программа: Словарь Файл: PROG0302.PRO       */
/* Назначение: Демонстрация ассоциаций слов при */
/*       помощи небольшого словаря.       */
      domains
           word,
           syn1, syn2, syn3,
           ant1, ant2, ant3 = symbol

     predicates
           synonym(word,syn1,syn2,syn3)
           antonym(word,ant1,ant2,ant3)

     goal
            synonym(brave,S1,S2,S3) and
            write("The synonyms for 'brave' are ")
            and nl and write(S1,",",S2,",",S3,".") and nl and
            antonym(rare,A1,A2,A3) and
            write("The antonyms for 'rare' are") and nl and
            write(A1,",",A2,",",A3,".") and nl.

     clauses
synonym(brave,daring,defiant,courages).
synnym(honest,truthful,open,sincere).
synonym(modern,new,novel,recent).
synnym(rare,uncommon,scarce,infrequent).

antonym(brave,cowardly,fearful,timid).
antoym(honest,dishonest,crooked,deceithful).
antoym(modern,ancient,old,obsolete). anto-
nym(rare,common,ordinary,ubiqutious).
/*****        конец программы            *****/
____________________________________________________________
      Внутренняя цель программы "Словарь" скомпонована из двух под-
целей. Задачей первой из них является выдача трех синонимов слова
brave, задачей второй - выдача антонимов слова rare.
      Отметим, что в записи целевого утверждения присутствует ключевое
слово and, используемое в качестве разделителя. Здесь оно играет ту же
роль, что и запятая в конструкции цели предыдущей программы.

* Упражнение
     3.2. Модифицируйте программу из упражнения 3.1 так, чтобы она ис-
пользовала предикат


                                                                         46