% For testing the Going to the airport domain. (AIRPORT)

% Load domain description
:- include 'airport-giving-a-ride.cc'.

% John's at his desk, the car is in the garage.
% Can he get to the airport within 3 steps?
:- query
maxstep :: 0..4;
label :: 0;
0: location(john)=desk,
   location(car)=garage;
maxstep: location(john)=airport.

% John's at the airport, with his car.  Can he come back to
% his desk within two steps?  (One step should be impossible
% since he can't drive straight to the desk.  He has to
% walk after driving to the garage.)
:- query
maxstep :: 0..4;
label :: 1;
0: location(car)=airport
   & location(john)=airport;
maxstep: location(john)=desk.

% John's at his desk, with Pat Hayes next to him.  His car is in
% the garage.  Pat gives him a ride to the airport
% and comes back home.
:- query
maxstep :: 0..5;
label :: 2;
0: location(john)=desk
   & location(pat)=desk
   & location(car)=garage;
maxstep: location(john)=airport
         & location(car)=garage.