确定子句扣除4.2.8_Definite Clause Deduction 4.2.8下载地址

分析扣除算法，使用此工具。

定条款减免是一个方便，易于使用的应用，专门设计的展示不同的扣除算法，从SLD使用Prolog的用户手动统一条款的决议。

扣除applet的接受知识基地CILog格式，并给出了解决的神器出山:www.shenqi73.com知识基础的查询功能。它也有选项来查看证明树木。