全新的Prolog。我已经尝试了变量名，并确保变量有一个计算值，但我肯定遗漏了什么。你们能不能看一眼，帮我找出我错过了什么？我得到的错误如下所示：In: [2] lgstarcompute(70000,_796) at line 9工作代码
多亏了下面接受的答案请
浏览 16提问于2020-05-08得票数 0
回答已采纳
1回答
我是prolog的新手，我构建了以下示例函数： Fruit = fruit(apple, X), between(0,10现在，我已经阅读了多个线程，其中反复出现的解决方案是使用clpfd where A #= abs(X) + 0。但是，在使用该解决方案时，我不一定得到我想要的列表：
L = [0, _G9407, _G9410, _G9413, _G9416, _G9419, _G9422, _G9425, _G9428|...特别是当使用
浏览 0提问于2018-04-20得票数 1
2回答
我试着写一个Prolog脚本，它可以创建一个字符串列表，该列表在一个简单的过程之后会产生一个给定的字符串。我对Prolog的了解非常有限，我甚至不确定它是否能够做到这一点，所以如果不可能的话，请告诉我。
浏览 4提问于2012-07-28得票数 1
我对Prolog非常陌生，我正在尝试编写一个简单的方法来确定棋盘上的一个骑士是否可以跳到另一个方块，或者输出一个给定方块时一个骑士可以跳到的所有方块。对于此方法，假设必须始终实例化第一个参数。在给定两个参数的情况下，它可以正常工作，但我不确定为什么它不能只输出一个参数。正如我所说的，我对Prolog非常陌生，所以我真的不确定我应该如何格式化查询。此查询为假。
?-
浏览 6提问于2014-11-23得票数 2
1回答
我是prolog的新手，目前有这样的情况:我已经声明了几个函数 b(Jahr, Z) :- Z is Jahr mod 4.但它给了我一个例外
我试着用谷歌搜索这个问题，但是，我想，由于我仍然在学习过程中，我还没有找到一个可以理解的答案，所以我只问这里。谢谢你帮助一个prolog初学者！
浏览 4提问于2013-11-23得票数 1
回答已采纳
我正在尝试创建一个程序，打印出一个区间内有多少个平滑的数字。下面是代码的一部分： Count is 0.例如，如果为B = 11，则为FilPrimes = [2,3,5,7,11]。
当我像?- countsmooth(1, [2,3,5,7,11,13,17,19,23], 1, 100000000, Count)一样在SWI-
浏览 3提问于2010-07-21得票数 1
3回答
这是我的代码：not_number([X|T],R):- R1 is R+1,
not_number(我对prolog很陌生。
浏览 3提问于2014-05-22得票数 29
回答已采纳
我试图通过计算玩家和列来检查游戏中的偶数/奇数和偶数/奇数列。在某种程度上，我似乎没有正确实例化我的变量。以下是我称之为游戏的方式： countPlayers(Game,TotalPlayers),我试着考虑其他的问题，但问题似乎是不同的。我对p
浏览 1提问于2017-04-21得票数 0
回答已采纳
我必须写一个prolog查询，以打印每个家庭的家庭细节，在每个家庭中，孩子的总收入高于他们的父母，我已经写过了，但是我得到了这个错误 48-totalx([],0). 50-Sum is S+Restfamily(Hus
浏览 3提问于2021-02-15得票数 0
回答已采纳
我正在从C++ dll调用SWI Prolog引擎，我希望能够访问所有断言/动态谓词(类似于清单通常所做的事情)。在GNU Prolog中，我会用一个变量调用dynamic/1谓词，Prolog会将它与所有动态谓词指示器统一起来。在下一步中，我将使用变量调用这些谓词，并获得一个完整的列表。不幸的是，我不能在SWI Prolog中做到这一点(错误:参数没有充分实例化)。还有别的办法
浏览 0提问于2012-02-03得票数 2
回答已采纳
1回答
所以，我刚从Prolog开始，我一直得到Singleton变量(C，C)和Argumnet的错误，但实际上并没有实例化。本文给出了一个求2个数除法商的简单代码。
浏览 1提问于2014-12-08得票数 1
回答已采纳
1回答
我正在编写一个小的prolog程序，用来处理二叉树，并试图找到树的加权和。每个节点都有一个值，然后将该值乘以节点的深度。我试图在这里使用累加器，但我一直收到参数没有充分实例化的错误。我已经开始使用这里提供的实现：我尝试去掉谓词的各个部分，只是为了看看问题在哪里，当我在求和计算中包括S1和S2时，问题就出现了。D1和深度*根计算很好，但是添加S1和&#
浏览 13提问于2019-11-04得票数 0
我有一个非常简单的方程，我希望能够在prolog中求解：我希望能够编写一个表示这种关系的谓词，它可以处理没有实例化的任何一个参数。没有必要推广到更复杂的关系或方程。使用算术运算符会产生许多“参数没有充分实例化”的错误。看起来，求解任意方程组超出了大多数prolog实现的范围，但我希望这个极其简单的
浏览 4提问于2014-10-14得票数 5
回答已采纳
我是Prolog编程的初学者。我编写这个程序是为了用累加器对深层列表的原子进行求和。没有累加器，它工作得很好：
deep_sum([], 0).
浏览 3提问于2015-12-15得票数 4
回答已采纳
我对Prolog很陌生，当我查询sortedUnion([1,1,1,2,3,4,4,5], [0,1,3,3,6,7], [0,1,2,3,4,5,6,7]).时，我会得到一个错误
Exception因此，我希望有人能够告诉我，我的代码哪里错了，为什么它是错误的？
浏览 1提问于2014-02-17得票数 1
回答已采纳
2回答
我需要编写一个谓词，它为任何给定的值V构建一个ast (即生成一个ast，这样每当计算A时，它的值就是V)。我的想法很简单： ev(Ast, Env, Val).ev(xer_(power(N)), Env, V) :- V is Env^N.%THIS LINE
其中V和N都是不束缚的。我很难
浏览 3提问于2013-11-18得票数 2
回答已采纳
我对Prolog很陌生。我写了一个非常短的程序如下：当我运行它时，我会遇到以下问题：true
?如何修改代码以实现相同的目标？谢谢你们帮助我！
浏览 2提问于2016-11-09得票数 4
回答已采纳
1回答
我试图用Prolog编写我的on mod函数，签名为模(A，B，C)，其中C等价于A mod B。这是我的代码：A==C ->
true ;出于某种原因，当我运行这段代码时，它会给我一个“参数没有充分实例化”的错误。我对Prolog非常陌生，我想知道是
浏览 1提问于2020-04-04得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
