软件名称：[B]确定子句扣除4.2.8_Definite Clause Deduction 4.2.8[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：269 KB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

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

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

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

要求：

·的Java

[url=http://www.sot9.com/soft/64819.html][B]确定子句扣除4.2.8_Definite Clause Deduction 4.2.8[/B][/url]

点这里下载->确定子句扣除4.2.8_Definite Clause Deduction 4.2.8 [ 下载地址 ]