This is a screenshot for the software Definite Clause Deduction. Analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms