Главная

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

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

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


project:prolog:listing:syn



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

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

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.

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

Обсуждение

Ваш комментарий:
K Z L W L
 
project/prolog/listing/syn.txt · Последние изменения: 2012/02/23 11:55 (внешнее изменение)

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


www.work-zilla.com

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