% For testing the Missionaries domain

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

% Initially, all the missionaries are on Bank1
% We wish to have the them all on Bank2
:- query
maxstep :: 6..9;
label :: 0;
0: amount(m,bank1)=9,
   amount(m,bank2)=0,
   amount(m,boat)=0;
maxstep:
   amount(m,bank1)=0,
   amount(m,bank2)=9,
   amount(m,boat)=0.
