, , ( ), .
: , , ( ).
A:-
B1,..., Bn.
A , B1,..., Bn - .
, . . , - , .
, , , :
(, ).
.
, , , .
-, :
<>::=<> <>(<>[,<>]*),
.. , , .
, . . - , . , , .
, , . , , , .
, , , :
mother("", "").
, .
. .
, , - , "" , "" - .
- , . , , .
:
<>::=<>:-<>[,<>]*.
. , - .
:
(X,Y):-
(X,Z),(Z,Y).
(X,Y):-
(X,Z),(Z,Y).
":-" "", if.
"," - "" , and.
, X Y, Z, X Z, Z - Y. , X Y, Z, X Z, Z - Y.
X, Y Z - .
|
|
, , . . , , , . , , .
.
- , . , ; . .
, - , . - , .
. . , "_". , . - .
.
:
<>::=<>[,<>]*
. , . , , .
( ). , .
, ( ). , , .
, , , ("Yes"). , , , , , ("No solution"). , , ("No").
, "No" , , , . , , .
, - , - .
. :
("","").
("","").
, . :
|
|
("","")
, "Yes" ( ""). :
("","")
"No" ( ""). :
(X,).
, X "" :
X=
1 Solution
:
(,X).
:
X=
1 Solution
, :
(X,Y).
. X , Y - .
:
X= Y=
X= Y=
2 solutions
, :
(X,_).
:
X=
X=
2 solutions
, , : , " - ", :
(_,_),
, , . "Yes". , , "".
, " - ", " ":
(X,Y):-
(X,Z),
(Z,Y).
, , . , , , - , .
, , . ,
, . , , , :
("",X).
, , , . ( (X,Y):-(X,Z),(Z,Y)), X "", Y X , : ("",Z) (Z,Y). , ("",Z).
, Z "". , "" - . ("",""). , ("",Z) (Z,Y) Z="", Y="". :
X=
, X Y . , , , . .
, , - . , . , , , . . . , . , , .
|
|
, . , . , .
?
-, - , , . -, ( ). . -, , .. . . -, . , , .
:
- ;
- CONSTANTS - ;
- DOMAINS - ;
- DATABASE - ;
- PREDICATES - ;
- CLAUSES - ;
- GOAL - .
. , , :
GOAL
write("hello"),readchar(_).
, , ( write) ( readchar ).
, , , , PREDICATES CLAUSES.
, GOAL . , , .
DOMAINS, PREDICATES, DATABASE CLAUSES. GOAL .
, , . DOMAINS , .
.