- Философия, эзотерика:
- Религии:
- Познавательное
(обо всём)
Программа «Президенты» демонстрирует использование различных типов объектов. Утверждения данной программы содержат сведения о шести президентах США. Программа служит для вывода информации о президентах-демократах.
Предикат:
/* президент(имя,партия,штат,год рождения,начальный год пребывания у власти, конечный год пребывания у власти)*/ 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
!!Рекомендуем: Семейная Энциклопедия Здоровья ⇒ Что должен знать современный человек? ⇒ Самоанализ. Работа над собой ⇒ Оглавление ⇒ Главная сайта
Обсуждение