Instructions for running Prolog queries for Restaurant Query Data

  1. Load Sicstus Prolog (tm).
  2. Download these additional files:  rest-db-transform (code to parse a "semi-pseduo" sql query into a logical query), rest-db_lib and setup.
  3. Prove compile('setup'). 
  4. To try executing an actual query, try to prove these predicates:
pseudo_to_logical(<Query>, LQ, _), execute_query(LQ, Ans).
where <Query> is a parsed query in a semi-pseudo sql form (you can grab an example 
from the file "restqueries250") and the set of answers is returned in Ans.