Added code for running query (logic programming) evaluator