% For testing the Missionaries domain

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

% Initially, all the missionaries  and cannibals
% are on Bank1
% We wish to have the them all on Bank2
:- query
maxstep :: 18..19;
label :: 0;
0: amount(m,bank1)=3,
   amount(c,bank1)=3,
   amount(m,bank2)=0,
   amount(c,bank2)=0,
   amount(m,boat)=0,
   amount(c,boat)=0;
maxstep:
   amount(m,bank1)=0,
   amount(c,bank1)=0,
   amount(m,bank2)=3,
   amount(c,bank2)=3,
   amount(m,boat)=0,
   amount(c,boat)=0.

% Initially, all the missionaries  and cannibals
% are on Bank1
% We wish to have the them all on Bank2
:- query
maxstep :: 6..7;
label :: 1;
0: amount(m,bank1)=0,
   amount(c,bank1)=3,
   amount(m,bank2)=3,
   amount(c,bank2)=0,
   amount(m,boat)=0,
   amount(c,boat)=0,
   location(boat)=p1;
maxstep:
   amount(m,bank1)=0,
   amount(c,bank1)=0,
   amount(m,bank2)=3,
   amount(c,bank2)=3,
   amount(m,boat)=0,
   amount(c,boat)=0.

:- query
maxstep :: 2..3;
label :: 2;
0: amount(m,bank1)=0,
   amount(c,bank1)=2,
   amount(m,bank2)=3,
   amount(c,bank2)=1,
   amount(m,boat)=0,
   amount(c,boat)=0,
   location(boat)=p1;
maxstep:
   amount(m,bank1)=0,
   amount(c,bank1)=0,
   amount(m,bank2)=3,
   amount(c,bank2)=3,
   amount(m,boat)=0,
   amount(c,boat)=0.
