. , Prolog .
Prolog . , , . . 4.1 , . : , . , , . , , , : , , , . "unemployed" () , , . -
, . 4.1, :
family(
person [ torn, fox, date(7,may,1960), works (fabc, 15200)), person! arm, foxr date [9,may, 1961), unemployed), [ person! pat, fox, date! 5, may, 1983 >, unemployed), person Jim, fox, date[S,mav, 1983), unemployed) ]).
family
pereon
turn fox date works aim fox date imnmplnyod parson
\ A /l\ /7T\ \
7 may 1960 bbc 15200 9 may 191 pal fox dale unemployed person []
/l\ //W
5 may 1983 lox dale unemployed
//\
5 may 1983 . 4.1.
, , , , .
Prolog , . , , . Prolog . . 4.2. , : family (person (_, armstrong,_, J, _, _)
; , . , :
; ) |
[, |
family(
, , :
?- family [ _, person(Name, Surname, _, _), [_,_,_!_]
, , . .
|
|
, , , . . .
4. :
husband { X) -.- % X family(X,_, _).
wife £ X):- i - family(_, X, _).
child (X):- \ X -
family! _, _, Children),
member(X, Children). % X Children
exists { Person):- % , husband! Person)
wife(Person) Child! Person). dateofbirth (person[ salaryt person (_/_,. salary 1 person! _,_,
Date, _), Date). works [ _, S)), S). I unemployed), 0). %
Family
)
Femily
Person
/ \
armstrong
Family
" / |