13.4. , AND/OR :
--> or:[/1,/2]. b ---> and:[d/l,e/l].
------ > and: [e/1, f/1].
d------ > or: fli /G].
e > or:[h/2].
f > oc:ih/4,i/2].
goal(h). goal(i).
. , *, , h- , , , h i 0. h(c) h(f), *.
13.5.
showZ(SolutionTree)
, andor {. 13.2). , show (. 13.1), show2 show . write (Node) show writenodet Node, )
Node , -
13. AND/OR
Node . , .
AND/OR . , . .
AND/OR : AND OR.
. .
■ AND/OR .
, AND/OR, . . - .
, . .
Prolog , AND/OR.
:
AND/OR;
AND, OR;
AND, OR;
, ;
, ;
AND/OR, ;
AND/OR;
AND/OR;
AND/OR.