LogicBase: A System Prototype for Deductive Query Evaluation