Главная

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

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

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


project:prolog:listing:prezidenty



Программа "Президенты"

Программа «Президенты» демонстрирует использование различных типов объектов. Утверждения данной программы содержат сведения о шести президентах США. Программа служит для вывода информации о президентах-демократах.

Предикат:

/* президент(имя,партия,штат,год рождения,начальный год пребывания у власти, конечный год пребывания у власти)*/
president(name,party,state,birth_year,year_in,year_out)

имеет объекты типа символьной строки и типа целого числа, как это видно из раздела программы domains.

domains
  name,party,state = symbol
  birth_year,year_in,year_out = integer
 
predicates
  president(name,party,state,birth_year,year_in,year_out)
 
clauses
  /* база данных сведений о президентах */
  president(eisenhower,republican,texas, 1890,1953,1961).
  president(kennedy,democrat,massachusetts, 1917,1961,1963).
  president(johnson,democrat,texas, 1908,1963,1969).
  president(nixon,republican,california, 1913,1969,1974).
  president(ford,republican,nebraska, 1913,1974,1977).
  president(carter,democrat,georgia, 1924,1977,1981).
 
goal
  president(X,democrat,S,Yb,Yi,Yo),nl,
  write(X," - democrat"),nl,
  write("State - ",S),nl,
  write("Birth year - ",Yb),nl,
  write("Year-in - ",Yi),nl,
  write("Year-out - ",Yo),nl,nl.

Первая подцель содержит свободные переменные Х,S,Yb,Yi и Yo, и значение объекта democrat. В данном примере имена переменных являются ключом для понимания смысла соответствующих объектов, так, например, Yb - это «year of birth» - год рождения.) Когда программа запускается на счет, свободным переменным присваиваются соответствующие значения из второго утверждения (kennedy). Следующие пять подцелей включают в себя предикаты write для печати этих значений в разных строках экрана.

Результат работы программы:

kennedy - democrat
State - massachusetts
Birth year - 1917
Year-in - 1961
Year-out - 1963

johnson - democrat
State - texas
Birth year - 1908
Year-in - 1963
Year-out - 1969

carter - democrat
State - georgia
Birth year - 1924
Year-in - 1977
Year-out - 1981

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

Обсуждение

Ваш комментарий:
M​ Z T D H
 
project/prolog/listing/prezidenty.txt · Последние изменения: 2023/09/03 22:22 (внешнее изменение)

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


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