Given set of clauses and knowledge base implement the algorithms for forward chaining, backward chaining and pl-resolution