将子句转换为 CNF
我想将我的从句转换为合取范式。每次我运行程序时，条款都会发生变化，所以我想我需要在程序中内置一个工具来为我执行此操作。有什么建议如何实施吗？我还发现了一些库，例如：
轨道库。我是逻辑编程的新手，我从未使用过它们，所以很难完成它们。我也试图找到一个例子来澄清问题，但什么也没发生。我正在用 java 语言构建我的程序。请帮忙...
提前致谢！
I want to transform my clauses to conjuctive normal form. Clauses are changed each time i run my program, so i guess i need to built-in a tool in my program to do this for me. Is there any suggestionn how to implement this?? i also found some libraries like:
Orbital library. I am new to logic programming and i have never used them so, its quite difficult to get through them. I also tried to find an example to clear things up, but nothing came up. I am builting my program in java language. Please help...
Thanks in advance!
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
你能使用其中的一些代码吗？
http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java
# 非会员可以查看阅读-仅通过 HTTP 匿名工作副本。
svn checkout http://aima-java.googlecode.com/svn/trunk/ aima-java-只读
can you use some of this code?
http://aima-java.googlecode.com/svn/trunk/aima-core/src/main/java/aima/core/logic/fol/CNFConverter.java
# Non-members may check out a read-only working copy anonymously over HTTP.
svn checkout http://aima-java.googlecode.com/svn/trunk/ aima-java-read-only