%Facts
%-----
%  * Facts corresponds to tuples in the database.
%  * Variables start with capital letters.
%  * Constants that begin with a capital letter are enclosed in single quotes.
%  * city('Houston', 'Texas', 1630000) corresponds to the row
%    ('Houston', 'Texas', 1630000) in the city table.

% city(Name:string, State:string, Population:integer)
city('Houston', 'Texas', 3000000).
city('Dallas', 'Texas', 2000000).
city('Huntsville', 'Texas', 150000).
city('Austin', 'Texas', 750000).
city('Corsicana', 'Texas', 60000).
city('Shreveport', 'Louisiana', 90000).
city('Bastrop', 'Texas', 6000).
city('San Antonio', 'Texas', 1500000).

% distance(City1:string, City2:string, Distance:float)
distance('Houston', 'Bastrop', 130.0).
distance('Houston', 'Huntsville', 60.0).
distance('Huntsville', 'Dallas', 100.0).
distance('Austin', 'Waco', 110.0).
distance('Waco', 'Dallas', 100.0).
distance('Dallas', 'Shreveport', 200.0).
distance('Austin', 'Bastrop', 30.0).
distance('Austin', 'San Antonio', 80.0).
distance('San Antonio', 'Houston', 190.0).