Prolog , . , . , . . Prolog & .
, , , .
, . 5.1. X Y .
1. X < 3, Y = 0.
2. 3 =< X X < , Y = 2.
3. =< X, Y = 4.
Prolog f(, ) :
f(X, ):- X < 3, % 1 f (X, 2) :- 3 =< X, X < 6. I 2 f(X, 4}:- 6 =< X. % 3
Y
4 *
-------- &
_.■i-6 i ■■■-
e x
. 5.1.
, , , f (X, Y) X - , .
. , .
1
, :
?- i (1, ), 2 < Y.
, £(1, Y), Y 0. :
Lt; 0
, . , , , , Prolog . . 5.2.
. 5.2. , , " ", , , 2 3,
I. Prolog
, f, , . Prolog, , , , , , . , . 5.2, , 1 , " ". Prolog, , . . (!) . , ,
|
|
f (Xf ):- X < 3,!.
f j X, 2):- 3 =< X, < 6,!.
£(X, 4): - 6 =< X.
! , . :
?- £(1, Y;, 2 < .
Prolog , . 5,2. 2 < 0. Prolog , , !, , 2 3, .
, , , , . , , .
, . , ; , , . . , .