将子句转换为CNF

Question

我想将我的子句转换为合相范式。每次运行我的程序时都会更改子句，所以我想我需要在我的程序中内置一个工具来为我执行此操作。有没有任何建议如何实施？我还发现一些图书馆，如：
Orbital library。我是逻辑编程的新手，我从来没有使用过它们，它很难通过它们。我也试图找到一个例子来澄清事情，但没有出现。我正在用java语言编写我的程序。请帮忙...

在此先感谢！

Answer 1

你能使用这段代码吗？ http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java

＃非成员可以通过HTTP匿名签出一个只读的工作副本。 svn结帐http://aima-java.googlecode.com/svn/trunk/ aima-java-read-only