【发布时间】：2013-12-09 18:25:26
【问题描述】：
我正在尝试实现一个函数，该函数采用 FOL 语句并以子句形式返回等效语句。任何关于链接的想法，样本到目前为止我都找不到。
【问题讨论】：
标签： java artificial-intelligence first-order-logic
【发布时间】：2013-12-09 18:25:26
【问题描述】：
【发布时间】：2013-12-09 18:25:26
【问题描述】：
我正在尝试实现一个函数，该函数采用 FOL 语句并以子句形式返回等效语句。任何关于链接的想法，样本到目前为止我都找不到。
【问题讨论】：
标签： java artificial-intelligence first-order-logic