| prov:value
| - A state can be described as a list of predicates, e.g. a state can bedescribed as:[handempty, ontable(b), on(a, b), ontable(c)]The four operators can be defined using precondition and effect of the operations e.g. the unstackoperator can be represented as follows:move(unstack(X,Y),[handempty,clear(X),on(X,Y)],[del(handempty),del(clear(X)),del(on(X,Y)),add(clear(Y)),add(holding(X))]).The logical pl
|