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

% Load domain description
:- include 'airport-two-homes.cc'.

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

% John's at his desk in his home (Home1).  Pat Hayes is at his home, 
% by his desk.  He has his car in his garage.  He has offered to
% pick John up from John's home and give him a ride to the airport.
% Can Pat do this and get back to his home?
:- query
maxstep :: 6..7;
label :: 1;
0: location(john)=desk1
   & location(pat)=desk2
   & location(car)=garage2;
maxstep: location(john)=airport
         & location(car)=garage2.