我想将我的子句转换为结合正常形式。每次运行我的程序时都会更改子句,所以我想我需要在程序中内置一个工具来为我执行此操作。有什么建议如何实现这个?我还发现了一些图书馆: Orbital library。我是逻辑编程的新手,我从来没有使用它们,所以很难通过它们。我也试图找到一个例子来清理,但没有任何结果。我正在用java语言构建我的程序。请帮忙......
提前致谢!
答案 0 :(得分:1)
#非成员可以通过HTTP匿名查看只读工作副本。 svn checkout http://aima-java.googlecode.com/svn/trunk/ aima-java-read-only