我正在尝试用swi-prolog来表示情景演算中的一个情景。这种情况是商品的销售，其中： “A以10美元的价格将物品I卖给B。物品I在出售前的价值是20美元。”
浏览 10提问于2019-03-28得票数 1
回答已采纳
我使用Eclipse (版本:开普勒服务第1版)和Prolog开发工具(PDT)插件在Eclipse中进行Prolog开发。使用了以下安装说明：。我希望使用MIndiGolog，因为它很好地表示了操作的时间和持续时间(我想做时间规划)，并且它支持多个代理的规划(包括并发性)。MIndiGolog是一种基于情境演算的高级编程语言.语言中的每一件事都是完全按照情境演算的。然而，这不符合我正在进行的项目。另一种高级编程语言，增量确定性(Con)Golog (IndiGolog) (从这里下载：) (也是用<em
浏览 1提问于2013-10-18得票数 2
1回答
在情境演算(Reiter 2001)中。
我理解动作、流畅和情景之间的区别，但为什么它们需要用二阶逻辑来表示？为什么不用第一道菜呢？你能解释一下吗？
浏览 3提问于2012-05-04得票数 0
回答已采纳
1回答
我对PROLOG非常陌生，所以这可能是一个非常琐碎的问题，但我绝对不知道如何解决它。我需要把四句话写成PROLOG代码：
现在我不知道如何用Prolog来写它们。
浏览 1提问于2019-01-01得票数 4
1回答
我有一个属性列表，我需要使用lambda演算对句子进行逻辑表示，例如，属性“位于”它需要返回(x,y) | < x, located in ,y >for index, row iny: <x, row['Property'], y>
系统应该理解x和y之间的关系是中间的，并得到所需的逻辑表示，如何用python代码中的lambda演算来实现这一点？
浏览 1提问于2018-05-29得票数 0
1回答
我无法比维基百科更好地解释这个词：
术语取决于类型或多态性。系统F，也称二阶lambda演算，是通过根据类型或类型运算符施加这个property.Types而得到的。类型运算符λω的简单类型lambda演算是通过强加这个性质得到的.与系统F相结合，它将
浏览 2提问于2011-11-26得票数 30
4回答
--我的答案是“c1”
我只想使用where exists或where not exists实现这一点，因为我需要为where not in或where in不是available.My的情况编写关系演算我确信可以这样做，因为我可以在关系代数中这样做，并且根据，元组关系演算和关系代数在逻辑上是等价的，任何用关系代数和关系演算表示的查询都可以用other.As表示，关系代数和关系演算都不支持聚合函数，查询可以在没有聚合函数的情况下用sql表示。
浏览 1提问于2014-03-11得票数 7
回答已采纳
2回答
如何用代码来表示单元分辨率？例如：-(A1 & A2 & A3 ... & An)例如，我将如何用prolog (或scala或其他语言)编写它？
浏览 5提问于2011-06-07得票数 0
回答已采纳
1回答
我刚刚知道如何运行gprolog，而prolog的新问题把我搞糊涂了。该问题涉及prolog中的二进制搜索树，假设 / \ / \当X在事实上高于Y时，执行上面的(X，Y)规则？
浏览 2提问于2016-02-28得票数 1
现在我需要在prolog上编写机器人的人工智能。我正在使用swi prolog。所以我有一个问题--我如何用Prolog分析这个矩阵。我读过一些关于min-max算法的文章，但我不能用Prolog实现。有没有人可以帮助或说明如何用我的矩阵和
浏览 0提问于2011-09-12得票数 1
回答已采纳
您好，我正在尝试使用swi prolog编译一个.pl文件(在windows机器上)。现在我可以理解了，首先我应该给出这样的文件： ['Users\Ask\Documents\Prolog\firstpro.pl'] 然后编译 .character escape in quoted atom or string: `\A'ERROR: ** here **
ERROR: \Ask\Documents\Prolog
浏览 32提问于2020-04-23得票数 0
我被指派在PROLOG上做一些工作，我在一个问题上做了很好的尝试，在这个问题上，我应该找到某位作者的一篇文章的最大页数。我知道在sql中有一个函数可以做到这一点，但是在PROLOG中是如何做到的呢？我想找到所有以“IEEE”开头的文章。
浏览 1提问于2014-12-30得票数 1
我是Prolog的初学者，所以我仍然对如何用Prolog构造递归函数感到困惑。S: 3 4 ]
用prolog表示为:S=[ 5,6，3,4]。
浏览 0提问于2018-09-27得票数 1
我是Prolog的新手，所以我可能会弄错一些基本的东西。在数学证明中，不需要说出等价关系的显式形式，因此我省略了它。
在程序中，我将hg和kg表示为H和K。H相交K为hkg。
浏览 8提问于2020-04-06得票数 0
你能给我解释一下逻辑编程的基本原理和类型系统和传统逻辑之间的语法相似现象之间的基本联系吗？
浏览 5提问于2010-05-14得票数 9
回答已采纳
2回答
在prolog中，我表示我的无向图如下：它是一组键值，其中键表示节点，列表：-[]表示它的邻居。我不知道如何用这个模型进行深度搜索。我尝试过很多解决方案。if visited[v] then return foreach neighbor of v:我在prolog因为如果我把它翻译成prol
浏览 0提问于2018-06-08得票数 2
回答已采纳
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
腾讯云开发者
