flight(chicago,atlanta).
flight(atlanta,denver).
flight(denver,portland).