Программа «Братья и сестры» позволяет определить, кто брат и сестра в семье.

domains
person = symbol
 
predicates
male(person) /* мужчины */
female(person) /* женщины */
parents(person,person,person) /* ребёнок и его родители */
sister(person,person) /* сестра */
brother(person,person) /* брат */ 
who_is_the_sister /* предикат нулевой арности */
 
clauses
/* факты */
male("Frank"). /* отец */
male("Sam"). /* сын */
female("Mary"). /* мать */
female("Debbie"). /* сестра */
parents("Sam","Frank","Mary"). /*родители Sam - Frank и Mary */
parents("Debbie","Frank","Mary"). /*родители Sam - Frank и Mary */
 
/* правило, задающее отношение брат-сестра */
sister(Sister,Brother) :- female(Sister), parents(Sister,Father,Mother), parents(Brother,Father,Mother).
 
brother(Brother,Sister) :- male(Brother), parents(Sister,Father,Mother), parents(Brother,Father,Mother).
 
/* правило нулевой арности  для вывода цели - кто сестра и какого брата? */
who_is_the_sister :- sister(Sister,Brother), brother(Brother,Sister), write(Sister," is the sister of ",Brother, "."),nl.
 
who_is_the_brother :- brother(Brother,Sister), sister(Sister,Brother), write(Brother," is the brother of ",Sister, "."),nl.
 
goal
/* цель - это предикат и правило */
who_is_the_sister
 
/* Дополнительная цель */
/*who_is_the_brother*/

Результат выполнения программы:

Debbie is the sister of Sam.

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