我使用或运算符定义了一个规则，但它返回多个true或false。实际上，我需要检查贷款类型是否满足特定的贷款要求，并结合一般规则。 iscarloan(LoanType,LoanAmount,LoanTenur)
它应该返回1个true/false，而不是命令行中的多个</em
浏览 0提问于2010-07-28得票数 7
回答已采纳
出于兴趣，我对Prolog和自我教学完全陌生。很抱歉给您带来这样一个基本的问题，但是手册(SWI)似乎没有说明为什么我会看到这种行为。
我正在使用多个值的基本谓词，并尝试查询所有将是有效答案的谓词。SWI只查找第一个有效的谓词，然后停止，我不确定这是由于我使用谓词而不是列表，还是这是Prolog的预期行为。如果发出像item_Brand(barilla)这样的查询，我将得到条目的预期返回(1，barilla,4)。但是，如果搜索item_Brand(雀巢)，Prolog只返回项(4，嵌套
浏览 8提问于2022-10-26得票数 2
完整的prolog初学者在这里。food(banana,99).
等。我正在尝试编写一个谓词，如果知识库中有两个或多个具有相同价格的项目，则该谓词将返回true。如果数据库中只有一个价格为X的项目，我将返回true。我了解问题所在(它两次查找同一项并返回true)，但我不知道如何编写一个查询，该查询将从食物中找到两个或多个唯一的项。我试着写了一条“独特”的规则</e
浏览 4提问于2012-02-29得票数 0
回答已采纳
3回答
因此，我在Prolog中有以下工作代码，它生成给定值A的阶乘：factorial(A,B) :- A>0, C is A-1, factorial(C,D), B is不能在此时返回，否则根本大小写将永远不会被使用。所以我猜A>0返回false，但其他函数最后一次执行。递归是因为到达基本情况而停止的，还是因为A不大于0？还是两者的结合？在什么时候使用了大小写？
浏览 1提问于2014-03-05得票数 2
回答已采纳
2回答
我想在Prolog中使用DCG解析一个逻辑表达式。
当然，这不起作用，它只返回and('x','y')。
但是，我能否统一地用Prolog变量替换这个术语中的逻辑变量呢
浏览 4提问于2014-11-18得票数 6
回答已采纳
1回答
在Prolog中，我如何制定一条规则，检查一人网络中有多少人进入网络，然后询问它的分离程度？我想在Prolog中创建一个规则，测试我的网络中有多少人，并告诉Prolog返回一个给定的分离程度的名称。?- mynetwork(josh,2).Prolog应该返回
汤姆是露西的朋友
浏览 2提问于2014-01-09得票数 0
2回答
结果是False.
我本以为在使用第一个规则(因为a是列表的头部)实现目标时，会返回True，这就是if的结尾。它似乎试图使用第二条规则来满足目标，但却失败了？Prolog解释程序是SWI-Prolog。
浏览 0提问于2013-01-30得票数 7
回答已采纳
2回答
在Prolog中，这将是：Prolog似乎不喜欢规则中的not操作符。第二种方法就是连接或分离。不能在Prolog中只写连词和分隔符，因为它们不是事实或规则。怎样才能最好地解决我的问题，这样我才能表达p implies not(q)
something :- for
浏览 4提问于2013-08-19得票数 2
回答已采纳
我对Prolog很陌生，也很困惑。我们只是进入递归和成员。鉴于快餐的种类、卡路里和价格，我的任务是找到不同的快餐组合：fries 250 $2 salad 150 $7findfood本质上，您可以购买每件商品中的一件，并用0或1表示(这都是规范的一部分)。|?- most_expensive(1000
浏览 0提问于2013-12-04得票数 0
回答已采纳
我是一个全新的prolog新手，我感觉有一个概念我不能理解，这阻止了我在prolog中掌握递归的概念。我尝试返回S，它是每个数字的平方和，从用户在查询中输入的整数中获取一个列表。例如，用户输入12345，我必须返回S = (1^2)+(2^2)+(3^2)+(4^2)+(5^2) = 55。
在下面的程序中，我理解了为什么计算S的每一段都要多次打印，因为它是递归规则的一部分。但是，我不明白我如何能够输出S作为最终结果。我想我可以在第二个规则中为sos的结果</e
浏览 1提问于2017-02-05得票数 0
一个编写CHR程序，包含CHR规则。然后运行一个以约束存储为参数的CHR程序。重复应用前向链式CHR规则，直到不再适用任何规则，将约束存储从其初始状态迭代(并且破坏性地)转换为某种最终状态。在这种情况下，只考虑不确定主义(“提交选择非决定论”)：当多个规则适用于任何中间状态时，任何规则都会被接受。“不知道”的非决定论在以后失败的情况下回溯到选择点是不考虑的--如果愿意的话，由实现来提供这种或那种方式。CHR程序(不知怎么地)被编译成Prolog，而&q
浏览 10提问于2019-12-08得票数 3
2回答
你好，我试着写像一样倒计时的递归我试着像这样做一些代码：但它的返回值是“false”。我不知道为什么它返回布尔结果...它需要将K值插入到X中。和一般如何做一个递归，一直返回某个数字…tnx很多
浏览 1提问于2015-12-22得票数 3
在下面的代码中，我总结了两个数字，但结果与我所预期的不一样。我不知道我做错了什么。14 ?-快跑。输入第一个号码: 2。输入第二个号码: 3。
a.Add.
浏览 2提问于2014-05-07得票数 0
3回答
扩展到CFG，是什么？
、、、、
考虑以下对上下文无关语法的扩展，该扩展允许规则在非终端的右侧有一个(或多个)终端。即形式规则：右手边可能是任何东西，就像上下文无关的语法。在Prolog中的确定性子句语法中允许这种特殊的扩展。(为了避免误解，我不认为Prolog的全部扩展。也就是说，我假设终端来自一个有限的字母表，而不是任意的术语，我也不考虑Prolog在DCGs中允许的附加参数，后者也已经进入-0类型。)编辑:下面是描述扩展的一种更简单的方法:向表单的CFG规则<
浏览 6提问于2012-08-22得票数 6
回答已采纳
2回答
我对prolog非常陌生。据我所知，纯Prolog仅限于霍恩条款。以下是一个非常简单的prolog程序-
% student( Snr , FirstName , LastName , Semester ).我的大学幻灯片说，即使我们在“纯Prolog规则”中颠倒了目标的顺序，结果的顺序也不应该改变。在上面的代码中，我已经实现了两个规则。因此，根据幻灯片，运行时不应更改结果的顺序。但是，当我运行代码时，它们以不同的顺序给出结果</e
浏览 0提问于2016-02-28得票数 4
回答已采纳
我开始在一书之后学习Prolog。在语言简介的第7页，他们断言：“在Prolog中，答案no被用来表示没有任何东西与问题统一。重要的是要记住，no与false不一样。”那么为什么SWI-Prolog使用false和true语句而不是yes或no呢？
浏览 1提问于2015-07-01得票数 7
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
腾讯云开发者
