Instructions for running Prolog
queries for Geoquery Data
- Load up Sicstus Prolog(tm).
- Prove compile('geoquery').
- To try executing an actual query, try to prove this
where <Query> is a parsed query in logical form (you can grab an
example from "geoqueries880") and the set of answers is returned inAns.