, ( 4)
, 14 2006 , , . :
date_t, b_date:
DOMAINS
date_t=b_date(unsigned, string, unsigned)
:
D = b_date(14, , 2006).
, . , . , ( b_date), .
, . , - , , .
, : functor(object1, object2,, objectN). , . , , , . .
, , :
:
famous_russ(person("",""),poet,period(1739,1837)).
1. ( 5, 6 7)
, . , , , . , , .
DOMAINS
zhizn = period(unsigned, unsigned)
name = person(symbol,symbol)
izvesten = symbol
famous_list = famous_list(name, izvesten, zhizn)
PREDICATES
famous_russ(name, izvesten, zhizn)
god(unsigned)
zagolovok
zapros
CLAUSES
famous_russ(person("Alexandr","Glazunov"),
kompozitor,period(1865,1936)).
famous_russ(person("Fedor","Glinka"),
archeolog,period(1786,1880)).
famous_russ(person("Ivan","Goncharov"),
prozaik,period(1812,1891)).
famous_russ(person("Alexandr","Gorchakov"),
diplomat,period(1798,1883)).
famous_russ(person("Vasiliy","Docuchaev"),
geolog,period(1846,1905)).
famous_russ(person("Alexandr","Dondukov_Korsakov"),
|
|
general,period(1820,1893)).
famous_russ(person("Fedor","Dostoevsky"),
prozaik,period(1821,1881)).
famous_russ(person("Michail","Dragomirov"),
prozaik,period(1830,1905)).
famous_russ(person("Nikolay","Ivashinzev"),
gidrograf,period(1819,1871)).
famous_russ(person("Dmitry","Ilovaisky"),
istorik,period(1832,1920)).
famous_russ(person("Alexandr","Borodin"),
kompozitor,period(1834,1887)).
famous_russ(person("Alexandr II","Romanov"),
imperator,period(1818,1881)).
famous_russ(person("Alexandr","Ostrovsky"),
dramaturg,period(1823,1886)).
famous_russ(person("Lev","Tolstoy"),
prozaik,period(1829,1910)).
famous_russ(person("Alexandr III","Romanov"),
imperator,period(1845,1894)).
famous_russ(person("Sergey","Vitte"),
ministr,period(1849,1915)).
god(GOD):-
famous_russ(X,Y,Z),
Z=period(R,G),
GOD>R, GOD<G,
X=person(I,F),
writef (" \n %-35s %-20s %-20s ", F, I, Y), fail.
god(_).
zagolovok:-
writef (" ").
zapros:-
famous_list(person("Alexandr","Glazunov"),Y,_),
write("Vvedite god"), readint(God), nl,
famous_list(person(I,F), Y, period(R,D)),
God>R, God<D, write(F," ",I), nl, fail.
GOAL
write(" "), readint(God), zagolovok, god(God),nl.
. , , ?, zapros. , Y. , , God. famous_list(person(I,F), Y, period(R,D)) Y , , I, F, R, D. R D, , I F . n