% For testing the Monkey and Bananas domain (MB)

% Load domain description
:- include 'mb.cc'.

% Solving the main problem.  Push the box, get the bananas
:- query
maxstep :: 1..10;
label :: 0;
0: location(monkey)=p1,
   location(bananas)=p2,
   support(bananas)=ceiling,
   location(box)=p3;
maxstep: support(bananas)=monkey.

% Can the monkey climb onto the box and then push it?
:- query
maxstep :: 2;
label :: 1;
0: location(monkey)=p1,
   location(box)=p1,
   support(monkey)=floor,
   climbon;
1: pushbox(p2).
