2回答
我正在尝试用prolog写一些dcg语法，它将描述"",ab,aabb,aaabbb itds --> slowo.
slowo --> [a],slowo,[只要我想做的就是检查单词是否正确，这是很好的，但是?-phrase(s,X)的dcg语法应该如何从我的语言生成所有的单词？
浏览 0提问于2012-03-26得票数 1
回答已采纳
4回答
我是prolog的新手，正在尝试一些东西，特别是我在思考如何在Prolog中做一些特定的事情。我知道事实和规则，事实就是这类东西和规则：这个事
浏览 1提问于2010-02-20得票数 1
回答已采纳
在prolog中，我们可以使用否定来选择元组中的最大值，如: p( X)，not (p(Y)，Y>X)。%在Prolog中工作，但不在Clingo中工作
如何使用Clingo表达式来获得相似的规则(如果没有大于A的数字，则A是最大值)。谢谢。
浏览 4提问于2020-05-01得票数 0
我在学习prolog。将新的这样的规则添加到prolog程序中只会增加“积极”的知识。它不能添加“负面”的事实说某事是不真实的。这是单调逻辑吗？
被称为“失败的否定”的过程(非逻辑)结构是添加“否定”事实以
浏览 2提问于2022-11-10得票数 3
回答已采纳
我正在开发多用户的网络应用程序。直到我使用MySQL作为数据源。现在，我添加了一些需要Prolog作为推理引擎的功能。我的问题是关于方法，如何处理事实和规则数据。我认为从MySQL数据在每个web请求Prolog文件上创建一个参考服务器上新创建的文件并不是一个好的选择。在添加了一些事实或规则之后，Prolog数据应该以某种方式持久化在服务器和Prolog引擎更新中
浏览 0提问于2019-09-01得票数 2
回答已采纳
我正在尝试使用SWI-prolog将规则动态添加到知识库中，其中规则的主体事先是未知的。rule(a) :- fact(1), fact(2).但问题是，事实是在运行时决定的(在断言之前，事实的数量也是未知的)。
这就是为什么我想知道是否有可能断言一个规则，其中主体由事实列表组成，如[fact(1), fact(2)]。
浏览 1提问于2010-11-01得票数 9
我试图在另一个规则中调用一条规则，我的代码是对爷爷处以罚款，就像：male(john).parent(jack,john).grandpa(X,mark).
它只返回，没有，当我试图跟踪调用时，我注意到它甚至没有调用嵌套规则。那么，在prolog中有什么方法可以做到吗？
浏览 2提问于2021-01-12得票数 0
根据我对Prolog的了解，它似乎是为应用程序构建规则引擎的理想选择。然而，我相信我从未见过用Prolog编写的规则引擎。Prolog中是否存在一些固有的限制(例如，糟糕的垃圾收集算法)，从而阻止它用于构建规则引擎？
浏览 0提问于2013-07-16得票数 18
回答已采纳
1回答
我试图理解如何使用prolog中的if语句或循环，但我无法理解，因为java中有很多不同的situations.Example，如果您想说一些您可以轻松地说的话，if(x>=4) { } else if{ }，.If，您想做的事情--而循环，直到(x>4).In prolog，有很多issues.Let me都清楚了。我看到一个练习，告诉我们有一个有数字的list1，我们有list2，我的意思是，doubles(List1
浏览 0提问于2018-06-24得票数 0
回答已采纳
1回答
我有一个简单的prolog程序，它试图确定谁信任谁基于信任规则和知道规则。知道规则是对称的和传递的，信任规则是由-X inherently trusts Y, or我不知道如何在规则中执行规则，而这些变
浏览 3提问于2017-04-16得票数 1
回答已采纳
这是一个关于范例试卷的问题的第二部分，我目前正在努力完成，这让我有点困惑，但我仍然是一个prolog新手，所以解决方案可能是显而易见的。
我编写了这个规则/事实contains1(X, [X|_]).，用于检查给定元素是否等于给定列表的头。这是很好的，它的工作如预期，从我所有的阅读，我大概95%的确定，这是最好的方式去做它。但是问题还说要编写prolog查询，使用这个<e
浏览 1提问于2018-01-22得票数 1
回答已采纳
2回答
我真的需要知道这个符号在后面和符号后面意味着什么.例如，看看下面的代码 agent_location(X, Y), ! .
浏览 2提问于2018-07-07得票数 2
回答已采纳
在Prolog中，这无疑是一个事实：这无疑是一条规则：但是，如果一个子句同时具有非单例变量和no :-，如一条规则也是如此：
定义可变逻辑关系的子句，即不会总是成功的子句。是定义谓词(或可能是谓词与自身)之间关系<e
浏览 1提问于2020-02-15得票数 3
回答已采纳
以下是我的事实：object('Machine').object('Hunter').?-provides_action(’Run’, X).它没有给我正确的答案，我想使用第一个规则(L1)的结果
浏览 7提问于2021-05-19得票数 0
回答已采纳
我使用的是提出的正向链接算法。如何在prolog DB中输入算术规则。例如，我想输入age is 35。换句话说，我想输入事实(年龄，35岁)。
谢谢
浏览 0提问于2012-11-12得票数 0
1回答
归纳逻辑编程中如何生成负例？
、、、、
我试图通过使用归纳逻辑编程观察一个人来学习拼图游戏和棋盘游戏的规则。我使用PROGOL，它是用Prolog编写的ILP程序。虽然对于一些游戏，它能够正确地给我规则，但对于另一些，它并不是因为缺乏负面的例子。
例如，在河内塔之谜中，规则之一是一个较大的块不会放在较小的块的顶部。这是一条消极的规则。但是由于在训练过程中这个事件并没有
浏览 4提问于2014-04-14得票数 2
回答已采纳
2回答
使用Prolog实现授权规则
、、、、
我正在研究PHP中的用户管理“伪框架”，并试图实现基于细粒度的基于规则的授权。我现在正在使用用PHP编写的SQL和条件检查函数的组合，但我并不完全满意。它工作，但它不是很优雅，并受到一些限制。Prolog是图灵全的，所以我想到任何任意的授权规则都可以这样实现。我的问题基本上是：
在现代Prolog实现中，可伸缩性问题还会出现吗？
浏览 0提问于2014-12-11得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
