STRIPS
one_step_plan(State,Goals,NewState,Plan) :-
diff(Goals,State,[Goal|Rest]),.
numbervars(Goal,0,0),
rule(Action,Precond,Add,Del,Proc),
Избира действие
Previous slide
Next slide
Back to first slide
View graphic version