我想将我的从句转换为合取范式。每次我运行程序时，条款都会发生变化，所以我想我需要在程序中内置一个工具来为我执行此操作。有什么建议如何实现吗？我还发现了一些库，例如:
Orbital library 。我是逻辑编程的新手，我从未使用过它们，所以很难完成它们。我也试图找到一个例子来澄清问题，但什么也没发生。我正在用 java 语言构建我的程序。请帮忙...
提前致谢!
最佳答案
你能使用其中的一些代码吗？ http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java
# 非成员(member)可以通过 HTTP 匿名 check out 只读工作副本。 svn结帐http://aima-java.googlecode.com/svn/trunk/ aima-java-只读
关于java - 将子句转换为 CNF，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2315689/