【发布时间】：2010-02-23 02:05:53
【问题描述】：
我想将我的从句转换为合取范式。每次我运行我的程序时，条款都会改变，所以我想我需要在我的程序中内置一个工具来为我做这件事。有什么建议如何实施吗？我还发现了一些库，例如：
Orbital library。我是逻辑编程的新手，我从未使用过它们，所以很难通过它们。我也试图找到一个例子来解决问题，但没有任何结果。我正在用 java 语言构建我的程序。请帮忙...
提前致谢！
【问题讨论】：
标签： java conjunctive-normal-form