zanwararif1331 / pl-resolution--forward-and-backward-chaining Goto Github PK
View Code? Open in Web Editor NEWThis project forked from siddhantj/pl-resolution--forward-and-backward-chaining
Given set of clauses and knowledge base implement the algorithms for forward chaining, backward chaining and pl-resolution