STRIPS
% update(+State,+Adds,+Dels,-NewState).
update([],State,_,State) :- !.
update([S|T],Add,Del,State) :-
member(S,Del), !,
update(T,Add,Del,State).
update([S|T],Add,Del,[S|State]) :-
\+ member(S,Add), !,
update(T,Add,Del,State).
update([_|T],Add,Del,State) :-
update(T,Add,Del,State).
Previous slide
Next slide
Back to first slide
View graphic version