Logic_Query_Handler

Input is a txt file which contains logic query sentences Output is a txt file which contains the results corresponding to the queries. Use resolution proof to decide the truth of a query.