% For testing the Logistics domain

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

% All the packages are at a certain place
% and the vehicles are at another place, an airport,
% in the same city.  Can the packages be transported
% to the airport?
:- query
maxstep :: 1..10;
label :: 0;
0: location(pack1)=l1,
   location(pack2)=l1,
   location(pack3)=l1,
   location(pack4)=l1,
   location(t1)=l2,
   location(t2)=l2,
   location(a1)=l2;
maxstep: 
   location(pack1)=l2,
   location(pack2)=l2,
   location(pack3)=l2,
   location(pack4)=l2.

% All the packages are at a certain place, on the ground.
% The vehicles are at another place, an airport,
% in the same city.  Can the packages be transported
% to an airport in another city?
:- query
maxstep :: 10..11;
label :: 1;
0: location(pack1)=l1,
   location(pack2)=l1,
   location(pack3)=l1,
   location(pack4)=l1,
   location(t1)=l2,
   location(t2)=l2,
   location(a1)=l2;
maxstep: 
   location(pack1)=l3,
   location(pack2)=l3,
   location(pack3)=l3,
   location(pack4)=l3.
