. , , . , " " : " -" - ; " , " - .
: (,).
: , , ; ; . , , ; .
, . , , , . , :
(). - - ;
(, ). - ;
(, ). - ;
(, , - -
).
, . , "" , "" "" . . " (, )" : (,),
- , b - , - .
, :
(,,,),
" , , ".
. :
().
().
(,).
(,).
(,).
(,).
, .. , , , , :
(.).
: " ?" :
True ().
: " ?" (. ), . : " X?", X - .
. () . :
(, ).
, - . , ( "". "","").
|
|
(,) " ?", .. =.
() , :
(,).
(,).
(,).
(,).
, . , , .
",":
(,),(,).
"," .
, . , " - ?" : (, ), (, ).
, , , , X .
, ( , , ):
domains
=symbol
predicates
(,)
(,)
clauses
(,).
(,).
(,).
(,).
(,).
(,).
(,).
"domains" . "predicates" . "clauses" . ( - ).
Goal: (, Y).
:
=, Y =
=, Y =
=, Y =
=, Y =
=, Y =cepre
X Y . :
Goal: (, Y).
Y =
Y =
Y =
Goal: (, ).
False
. . "True" (), - "False" (). Goal: (, ) : No solution ( ).
. , , .. "", : " , ", " , "; " X Y, X X Y ".
. ":-" if (). , " , " :
(, X):-
(),(,).
, , :
().
|
|
().
().
().
().
(,,).
(,,).
(,,).
"(,,Z)", , " Z X Y ", X - ; Y -.
" X Y " , X - X, Y . :
(, Y):-
(),(,,),(O,M, Y).
- . (O,,).
, . . :
domains
=symbol
predicates
(,)
(,)
clauses
(,).
(,).
, , , (, Y), a(Y,). , . , "(, Y)". "" =, Y =. "(Y,)" . Y - "" , "(,)". : =, .. " - ".
, "", "" :
(, Y):-
(,Z),
(Z,Y).
:
X Y, X Z Z Y.
, "(,)". , , , .
, . , , , , , ..
:
domains
=symbol
predicates
(,)
(,)
(,)
(,)
clauses
/* 1 */ (,).
/* 2 */ (.).
/* 3 */ (,).
/* 4 */ (,).
/* 5 */ (,).
/* 6 */ (, Y):-
(,Z),
(Z, Y).
/* 7 */ (, Y):-
(,Z),
(Z,Y).
/* 8 */ (, Y):-
(Z,X),
(Z,Y).
8 , (X) (Y) (Z) .
(, Y)
:
=, Y =
=, Y =
6 7 .
, (, Y). 6 :
=, Y =
=, Y =
7 : "(,)", "(, Y)" .
, "(Z, Y)"
(, Y):-
(Z, X),
(Z, Y).
, Z X Y=Y, . . , X Z. Z Z. : XI X, Y1 Y .. , Y Y . .
, Z X1, Y Y1:
7 :
|
|
(,Y1):-
(,1),
(Z1,X1),
(Z1,Y1).
"(Z,Y)" =, 1 =, X1 = Y: Y = Y =. , , .