CS322, Fall 1997 - Practice Midterm -- Solution to Question 6

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)]