.


:




:

































 

 

 

 


. 13.4. , AND/OR :




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.





:


: 2015-10-01; !; : 369 |


:

:

, .
==> ...

766 - | 677 -


© 2015-2024 lektsii.org - -

: 0.008 .