CSc 8710 Deductive Databases and Logic Programming

Assignment 3 Data

Prolog Facts

  flights('UA','SF','DEN',930,1230).
  flights('AA','SF','DAL',900,1430).
  flights('UA','DEN','CHI',1500,1800).
  flights('UA','DEN','DAL',1400,1700).
  flights('AA','DAL','CHI',1530,1730).
  flights('AA','DAL','NY',1500,1930).
  flights('AA','CHI','NY',1900,2200).
  flights('UA','CHI','NY',1830,2130).

  flights('UA','SF','LV',830,900).
  flights('UA','LV','DEN',1030,1100).
  flights('UA','DEN','DES',1230,1300).
  flights('UA','DES','ICT',1430,1500).
  flights('UA','ICT','STL',1630,1700).
  flights('UA','STL','KNO',1830,1900).
  flights('UA','KNO','ATL',2030,2100).
  flights('UA','ATL','SAV',2230,2300).

  flights('TW','SF','LV',830,900).
  flights('TW','LV','DEN',1030,1100).
  flights('TW','DES','ICT',1430,1500).
  flights('TW','ICT','STL',1630,1700).
  flights('TW','STL','KNO',1830,1900).
  flights('TW','ATL','SAV',2230,2300).
  

SQL Insert Statements

  insert into flights values ('UA','SF','DEN',930,1230);
  insert into flights values ('AA','SF','DAL',900,1430);
  insert into flights values ('UA','DEN','CHI',1500,1800);
  insert into flights values ('UA','DEN','DAL',1400,1700);
  insert into flights values ('AA','DAL','CHI',1530,1730);
  insert into flights values ('AA','DAL','NY',1500,1930);
  insert into flights values ('AA','CHI','NY',1900,2200);
  insert into flights values ('UA','CHI','NY',1830,2130);

  insert into flights values ('UA','SF','LV',830,900);
  insert into flights values ('UA','LV','DEN',1030,1100);
  insert into flights values ('UA','DEN','DES',1230,1300);
  insert into flights values ('UA','DES','ICT',1430,1500);
  insert into flights values ('UA','ICT','STL',1630,1700);
  insert into flights values ('UA','STL','KNO',1830,1900);
  insert into flights values ('UA','KNO','ATL',2030,2100);
  insert into flights values ('UA','ATL','SAV',2230,2300);

  insert into flights values ('TW','SF','LV',830,900);
  insert into flights values ('TW','LV','DEN',1030,1100);
  insert into flights values ('TW','DES','ICT',1430,1500);
  insert into flights values ('TW','ICT','STL',1630,1700);
  insert into flights values ('TW','STL','KNO',1830,1900);
  insert into flights values ('TW','ATL','SAV',2230,2300);