Go up to
Question 6
Solution to Question 6
putdown(Ag,Obj)
:
Preconditions:
[carrying(Ag,Obj),at(Ag,Loc)]
Delete List:
[carrying(Ag,Obj)]
Add List:
[sitting_at(Obj,Loc)]