" ". , :
;
;
;
;
..
PDC Prolog - , .
. , . , if then, while do; . , , , . , , " ".
, . :
: 1, 2,..., n,
: " , 1, 2,...., n ". n=0, , ".".
(.. , ), . -, (.. ), ( ). -, , " , 1,..., n " 1,..., n . " yes ", .. .
( ), . , , . " no ".
. , , .. . , , , , , , .
, , , , N = N+ 1 : , , : N1 = N + 1.
|
|
, .. , - .
:
relation(object, object,.....object).
:
relation(object, object,.....object):
relation1(object, object,.....object),
...
relationN(object, object,.....object).
. , : , ( ), .
, , . :
p: q,s.
p: r,t.
. p q s. , p . , r t. , r t . p . (backtracking).
, : . , . , , , , .
, . : . - . . .