Write datalog queries to answer the questions below:
Intepretation of the question should be that if city x is an earlier city in the travel plan than city y, city x is always at a lower (or equal) altitude to city y.
So if we were going from Seattle, to Dallas, to San Francisco, and alt(x) is the altitude of city x, we require alt(Seattle) <= alt(Dallas) <= alt(San Francisco).