Quries
1. canget(state(left, onfloor,left, hasnot)).(Monkey and box
at left, bananas in middle, monkey on floor, without
banana:)
2. canget(state(middle, onfloor, left, hasnot)).(Monkey
Already at Middle, Box Elsewhere)
3. canget(state(left, onbox, left, hasnot)).(Monkey on Box
But Not Under Banana)
4. canget(state(middle, onfloor, middle, hasnot)).(Monkey
and Box Already Under Banana)
5. canget(state(left, onfloor, left, has)).(Already Has
Banana)