The version is 4.2.8, Definite Clause Deduction, analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses. Every representation and reasoning system needs a proof procedure in order to be complete. The purpose of this tool is to...