% From the book
% PROLOG PROGRAMMING IN DEPTH
% by Michael A. Covington, Donald Nute, and Andre Vellino
% (Prentice Hall, 1997).
% Copyright 1997 Prentice-Hall, Inc.
% For educational use only

% ACME.PL
%
% Travel data for Acme Airlines. 
%   The first two arguments in each clause list a pair of cities
%   served by Acme, the third argument gives the distance between
%   these cities, and the fourth tells whether Acme has direct
%   flights between these cities.
%

data(atlanta,boston,1108,n).       data(chicago,washington,696,y).
data(atlanta,chicago,715,y).       data(dallas,denver,797,n).
data(atlanta,dallas,808,n).        data(dallas,los_angeles,1431,n).
data(atlanta,denver,1519,y).       data(dallas,miami,1394,n).
data(atlanta,los_angeles,2091,n).  data(dallas,new_orleans,495,y).
data(atlanta,miami,862,y).         data(dallas,seattle,2222,n).
data(atlanta,new_orleans,480,y).   data(dallas,washington,1414,y).
data(atlanta,seattle,2954,n).      data(denver,los_angeles,1189,y).
data(atlanta,washington,618,y).    data(denver,miami,2126,n).
data(boston,chicago,976,n).        data(denver,new_orleans,1292,n).
data(boston,dallas,1868,n).        data(denver,seattle,1326,y).
data(boston,denver,2008,n).        data(denver,washington,1707,n).
data(boston,los_angeles,3017,n).   data(los_angeles,miami,2885,n).
data(boston,miami,1547,n).         data(los_angeles,new_orleans,1947,n).
data(boston,new_orleans,1507,n).   data(los_angeles,seattle,1193,y).
data(boston,seattle,3163,n).       data(los_angeles,washington,2754,n). 
data(boston,washington,448,y).     data(miami,new_orleans,881,y).
data(chicago,dallas,936,n).        data(miami,seattle,3469,n).     
data(chicago,denver,1017,y).       data(miami,washington,1096,n).
data(chicago,los_angeles,2189,n).  data(new_orleans,seattle,2731,n).
data(chicago,miami,1340,n).        data(new_orleans,washington,1099,n).
data(chicago,new_orleans,938,n).   data(seattle,washington,2880,n).
data(chicago,seattle,2184,y).