.


:




:

































 

 

 

 





. , 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



" /




:


: 2015-10-01; !; : 577 |


:

:

, .
==> ...

826 - | 690 -


© 2015-2024 lektsii.org - -

: 0.012 .