我很感兴趣的是，在Prolog中是否有任何内置工具可以用于下面的示例：parent(myMom,
浏览 13提问于2017-12-18得票数 0
回答已采纳
2回答
我真的需要知道这个符号在后面和符号后面意味着什么.例如，看看下面的代码 agent_location(X, Y), ! .
浏览 2提问于2018-07-07得票数 2
回答已采纳
鲍勃叔叔的三条测试驱动开发规则声明如下：
您不允许编写单元测试的内容超过足以失败的内容；编译失败就是失败。您不允许编写任何足以通过一个失败的单元测试的生产代码。
有些人认为，第二个规则意味着您必须只添加一个失败的测试(
浏览 0提问于2016-04-11得票数 8
在这种情况下，我使用的是。
CHR的实现将至少提供一个“约束存储”来表示“计算的状态”。约束存储仅包含地面原子(即正文本)。在典型的CHR会话中，首先使用初始状态设置约束存储。一个编写CHR程序，包含CHR规则。然后运行一个以约束存储为参数的CHR程序。“不知道”的非决定论在以后失败的情
浏览 10提问于2019-12-08得票数 3
1回答
所以我有这个谓词三角形(N)，其中N是一个数字，如果一个数字是一个三角形数字，这个谓词返回true。 我的问题是，由于某种原因，我的谓词执行了一个无限循环，而不是只对数字求和，直到N。所以基本上这是打印数字的和直到3，但它做了一些我不理解的事情。 程序： triangular(N) :- triangular(N,0).
浏览 26提问于2020-04-18得票数 1
我在学习prolog。将新的这样的规则添加到prolog程序中只会增加“积极”的知识。它不能添加“负面”的事实说某事是不真实的。这是单调逻辑吗？
被称为“失败的否定”的过
浏览 2提问于2022-11-10得票数 3
回答已采纳
我正在学习Prolog编程，有一个规则的问题，它必须搜索解决方案，一旦找到，它必须“什么都不做”。但它失败了，给了我不止一个解决方案。如果没有找到解决方案，第一个规则将失败，回溯将尝试规则的第二个实现。如果第二个规则找到了解决方案，则第一个规则必须成功，当我再次调用'findsolu
浏览 0提问于2015-03-27得票数 5
回答已采纳
我想实现一个可分解的函数(X)，如果X可以写成X = n*b.的话，这是真的。isTeiler(X,Y) :- Y mod X =:= 0.我现在的问题是，我不知道如何在没有回溯的情况下以失败结束递归。我认为剪裁可以完成这个任务，但是当hatTeiler失败后，当两个参数相等时，它就直接跳到isTeiler，如果两个参数相等，这当然是正确的。我也尝试过使用\+，但没有成功。
浏览 0提问于2018-08-18得票数 2
回答已采纳
在prolog中，我们可以使用否定来选择元组中的最大值，如: p( X)，not (p(Y)，Y>X)。%在Prolog中工作，但不在Clingo中工作
如何使用Clingo表达式来获得相似的规则(如果没有大于A的数字，则A是最大值)。谢谢。
浏览 4提问于2020-05-01得票数 0
1回答
我是Prolog的新手，我只是在想，为什么这个规则在一次true之后给我错误的结果。我想知道这个错误背后的原因。
浏览 0提问于2011-02-16得票数 4
回答已采纳
根据我对Prolog的了解，它似乎是为应用程序构建规则引擎的理想选择。然而，我相信我从未见过用Prolog编写的规则引擎。Prolog中是否存在一些固有的限制(例如，糟糕的垃圾收集算法)，从而阻止它用于构建规则引擎？
浏览 0提问于2013-07-16得票数 18
回答已采纳
1回答
我的老师给了我以下在prolog中实现逻辑not的规则：not( _ ).
不过，我真的很难理解。我有点理解!的意思是剪切，但对于这在这个场景中是如何工作的，以及第二行试图实现的目标，我感到很困惑。有人能帮我理解一下吗？
浏览 1提问于2018-03-18得票数 1
回答已采纳
我有一个非常简单的问题：编写一个Prolog程序，该程序实现附加的Prolog函数，连接两个字符串，并以以下方式工作：
附加( a，b，X，a，因此，让我调用第一个列表L1，第二个列表L2和第三个列表L3，然后如果L3是L1和L2的连接，则规则响应为TRUE，否则为
浏览 4提问于2013-03-19得票数 2
回答已采纳
2回答
使用Prolog实现授权规则
、、、、
我正在研究PHP中的用户管理“伪框架”，并试图实现基于细粒度的基于规则的授权。我现在正在使用用PHP编写的SQL和条件检查函数的组合，但我并不完全满意。它工作，但它不是很优雅，并受到一些限制。Prolog是图灵全的，所以我想到任何任意的授权规则都可以这样实现。这基本上是说“如果X是管理员而Y不是管理员，只允许用户X删除用户Y”。
我的问题基本上是
浏览 0提问于2014-12-11得票数 3
回答已采纳
我正在研究Ivan的一本书：“人工智能编程”()，用于大学考试并使用SWI，我对本书中关于assert和retract谓词的示例显示有一些疑问。然后，在Prolog shell中，使用断言规则在数据库中定义一个新规则：现在我尝试执行这个查询，结果失败了：
[debug] 64 ?- faster(X
浏览 1提问于2013-04-14得票数 4
1回答
我在prolog中设计了一个基于规则的引擎，它基本上是一套关于如何在纸牌游戏中打败真正的人类的规则。每次我在算法中发现一个工作日，这导致我的主题之一利用并获得优势；我进去并为下一个版本修正规则。与我在prolog中所做的相同，在下面500行代码中，可以在C++或C#中完成(不容易)大约10,000行，包括大量嵌
浏览 5提问于2013-09-16得票数 6
回答已采纳
我刚刚开始ProLog编程，并试图编写Fibonacci级数程序的和。有人能告诉我这将如何工作(方法的执行)吗?因为我用打印N1、N2值来判断发生了什么，但仍然无法得到它，也无法知道F1和F2是如何存储级数之和的。
浏览 0提问于2017-04-28得票数 1
回答已采纳
3回答
因此，我在Prolog中有以下工作代码，它生成给定值A的阶乘：factorial(A,B) :- A>0, C is A-1, factorial(C,D), B is我正在寻找关于这个代码是如何工作的解释。也就是说，当你问这个问题时会发生什么:阶乘(4，答案)。factorial(0, 1).
我知道上面是递归定义的“基本情况”。我的猜测是阶乘(0，1)插入了一些包含(0，1)的结构作为“阶乘”<em
浏览 1提问于2014-03-05得票数 2
回答已采纳
SWI的文档是否涵盖了源代码的加载，如果指令适用于整个文件，或者取决于源代码文件中的位置？结果表明，if set_prolog_flag在DCG规则之前出现，然后跳过string_codes，但如果set_prolog_flag在之后出现，则跳过string_c
浏览 5提问于2017-07-29得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
