(PROgramming LOGic) . , . .
() , , .
, .
, . . , , , .
, , . , .
, , .
:
,
,
( ), -, .
.
.
.
.
, . , , .
, (), . .
, , . . : , .
, :
(, ), ;
(, ) .
|
|
_ , , . , . .
. , .
.
.
, , , , :
(, ).
(, ).
, , , .
. , . () , :
: (, ).
, . , , :
: (X, ).
:
: Q1, Q2,,Qn, , Q1, Q2,,Qn .
, , , ( ).
1.
() :
(, ).
(, ).
(, ).
(, ).
(, ).
, , :
: (, X), (X, ).
, . , . , .
, , () , . (, ). (, ). (, ). , , X .
. . , , , , .
H: - P1, P2,, Pn.
: - , H , P1, P2,, Pn . P1 P2,,Pn H. , . , - .
|
|
2.
18 , :
(, ).
(, ).
(, ).
(, ).
(, ).
(X, Y): - (X, Z), (Z, Y).
(X, Y): - (X, Z), (Z, Y).
, , :
: (, ).
- , , .
.
. , :
(x, y): - (x, y).
(x, y): - (x, y).
(x, y): - (x, z), (z, y).
(x, y): - (x, z), (z, y).
, . , , , : .
- .
, /* */.
/* . */
% .
% .