% 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 :: 8..9;
label :: 0;
0: location(miss(1))=bank1,
   location(miss(2))=bank1,
   location(miss(3))=bank1,
   -holds(boat,miss(1)),
   -holds(boat,miss(2)),
   -holds(boat,miss(3));
maxstep: 
   location(miss(1))=bank2,
   location(miss(2))=bank2,
   location(miss(3))=bank2,
   -holds(boat,miss(1)),
   -holds(boat,miss(2)),
   -holds(boat,miss(3)).
