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

domains
person = symbol
 
predicates
male(person) /* мужчины */
female(person) /* женщины */
parents(person,person,person) /* ребёнок и его родители */
 
clauses
/* факты */
male("Frank"). /* отец */
male("Sam"). /* сын */
female("Mary"). /* мать */
female("Debbie"). /* сестра */
parents("Sam","Frank","Mary").  /*родители Sam - Frank и Mary */
parents("Debbie","Frank","Mary"). /*родители Sam - Frank и Mary */
 
/* правило нулевой арности  для вывода цели - Кто сын? */
who_is_the_son :- parents(Son,Father,Mother), male(Son), write("The son is ",Son,"."),nl.
 
goal
/* цель - это предикат и правило */
who_is_the_son

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

The son is Sam.

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