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

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

% John is at his my desk, the car is in the garage.
% Can he get to the airport within 3 steps?
:- query
maxstep :: 0..3;
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..3;
label :: 1;
0: location(car)=airport
   & location(john)=airport;
maxstep: location(john)=desk.
