在Java/Eclipse应用程序的上下文中，我想将Prolog用于特定任务。有哪些可用的解决方案和工具可以做到这一点，以及相关的利弊？我可以启动一个外部Prolog解释器，在一个文件中生成结果吗？我可以使用完整的PrologJava库(用Java实现的Prolog解释器)？我可以使用专用于与外部Prolog解释器通信的Java库吗？预先感谢您的帮助，手册 最佳答案 我会给GNUPrologforJava一试。来自网站:GNUPrologforJavaisanimplementationofISOPrologasaJavalibra
我正在尝试将JPL用于Java程序和YAPProlog的交互。在我的java文件中，这一行抛出异常:Queryquery=newQuery("consult",newTerm[]{newAtom("test.pl")});异常如下图所示:Exceptioninthread"main"jpl.JPLException:thisQuery'sengineisnotthatwhichisattachedtothisthreadatjpl.Query.close(Query.java:511)atjpl.Util.textToTerm(Util.java:165)atjpl.Query.Que
关闭。这个问题不符合StackOverflowguidelines.它目前不接受答案。要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于StackOverflow来说是偏离主题的，因为它们往往会吸引自以为是的答案和垃圾邮件。相反，describetheproblem以及迄今为止为解决该问题所做的工作。关闭8年前。Improvethisquestion有谁知道集成Prolog和C#的好方法(最好是免费的)？我希望创建一个Prologdll或类似的程序来从我的托管代码中调用，并在所有处理完成后检索答案。我希望它主要是一边倒的(c#调用Prolog)。我看过thisquestion其中讨
最近我开始使用Go。我在解析XML时遇到一个问题。问题是:我能够成功解析以下XML:hsdhsdhssssssnullsam结构如下:typeProfilestruct{RootElementxml.Name`xml:"Root"`CookieList[]Cookie`xml:"cookie"`InfoInformation`xml:"info"`}typeCookiestruct{Namestring`xml:"name,attr"`Valuestring`xml:",chardata"`}typeInformationstruct{Namestring`xml:"name"`}上面
有没有办法在GNUProlog中“捕获”(例如“捕获”)操作系统信号？(我正在使用Ubuntu/Linux，最新的gprolog)。我想很久以前我在WAMCC中使用过这种方法，然后才演变成GNUProlog::-catch(Long_Running_Goal,signal(2),write('programinterrupted'))但是如果我使用(重复，失败)无限循环来测试它，例如:-catch((repeat,fail),X,write(X)).在解释器中，Ctrl-C仍将我带到跟踪/调试器，如果我用kill-1、kill-2中断编译的程序，它就会退出等等我尝试使用--no-top
我使用最新的AndroidStudio0.8.4(适用于OSX)，在“res”目录中创建新的“database”目录并将所有需要的文件放在那里，当我尝试编译时收到此错误。Error:Contentisnotallowedinprolog.:app:mergeDebugResourcesFAILED/Users/filipp/data/Android_dev/project/app/src/main/res/database/5clSubject0Book0.txtError:Error:Contentisnotallowedinprolog.Error:Executionfailedf
关闭。这个问题需要更多focused.它目前不接受答案。想要改进这个问题吗？更新问题，使其只关注一个问题editingthispost.关闭5年前。Improvethisquestion我想知道C或C++中的Prolog实现会是什么样子。我主要对将其构建为C或C++库感兴趣，尽管解释器应用程序也可以。我有兴趣阅读它的内部结构，即查询执行，即找到解决方案和相关的数据类型。如果您向我推荐任何有关主题的读物或任何直接的建议/建议，我会很高兴。读数可能适用于其他OOP语言或一般OOP。大多数令人筋疲力尽的Material都会解决这个问题。 最佳答案
我正在使用Java，我正在尝试从某个http链接获取XML文档。我使用的代码是:URLurl=newURL(link);HttpURLConnectionconnection=(HttpURLConnection)url.openConnection();connection.setRequestMethod("GET");connection.connect();Documentdoc=null;CountInputStreamin=newCountInputStream(url.openStream());doc=DocumentBuilderFactory.newInstance
碎碎念最近闲下来了，整理了下之前做过的实验和大作业，发出来给大家参考一下实验目的及要求：理解谓词逻辑知识表示的方法，掌握一阶谓词逻辑知识表示的基本原理，能够利用归结原理求解简单问题。掌握Prolog编程环境，熟悉逻辑推理编写过程。主要知识点：谓词、原子公式、谓词公式、子句、子句集、空子句、归结原理。重点：谓词公式、子句集和归结原理的实现。难点：归结原理的实现。实验内容：实验项目1：机器人搬盒子问题：设在一个房间里，有一个机器人ROBOT，一个壁橱ALCOVE，一个积木块BOX，两个桌子A和B。开始时，机器人ROBOT在壁橱ALCOVE旁边，且两手空空，桌子A放着积木块BOX，桌子B是空的。机器
我正在开发一个Java应用程序，它需要执行一些复杂的逻辑规则推导作为其功能的一部分。我想用Prolog或其他一些逻辑/约束编程语言而不是Java来编写我的逻辑推导，因为我相信生成的代码会更简单且更易于维护。我用谷歌搜索了Prolog上的嵌入式Java实现，发现其中有很多，每个都有很少的文档。我的(适度的)选择标准是:应该可以嵌入到Java中(例如，可以与我的java包捆绑在一起，而不需要在外部程序上进行任何native安装)从Java中使用的简单接口(interface)(用于启动推理、检查结果和添加规则)至少提供几个使用示例不一定是Prolog，但其他符合上述标准的逻辑/约束编程语言
