Prolog程序从结果列表中排除整数
Prolog是一种逻辑编程语言，它基于一阶逻辑和谓词演算。在Prolog程序中，我们可以使用一种称为"剪枝"的技术来从结果列表中排除整数。
剪枝是一种在搜索过程中排除不符合条件的解的技术。在Prolog中，我们可以使用剪枝来排除结果列表中的整数。下面是一个示例：
% 定义一个谓词，用于判断一个元素是否为整数
is_integer(X) :- integer(X).
% 定义一个谓词，用于从结果列表中排除整数
exclude_integers([], []).
exclude_integers([H|T], Result) :-
( is_integer(H) -> exclude_integers(T, Result)
; Result = [H|Rest],
exclude_integers(T, Rest)
).
% 示例查询
?- exclude_integers([1, 2, a, 3, b, 4, c], Result).
Result = [a, b, c].在上面的示例中，exclude_integers/2谓词用于从结果列表中排除整数。它递归地遍历结果列表，如果当前元素是整数，则跳过该元素；否则，将其添加到结果列表中。最终，我们得到一个不包含整数的结果列表。
这种技术在处理一些需要排除特定类型元素的情况下非常有用。例如，在处理一组数据时，我们可能只对非整数数据感兴趣，这时可以使用剪枝技术来排除整数。
腾讯云提供了一系列云计算产品，可以满足各种需求。具体推荐的产品和产品介绍链接地址可以根据具体需求和场景来选择，可以参考腾讯云的官方文档或咨询他们的客服人员获取更详细的信息。
相关·内容
1回答
countdown(0, Y).
countdown(X, Y):-
append(Y, X, Y),
Y is Y-1,
countdown(X, Y).
因此，对于这个程序，我试图做一个倒计时程序，它将Y取一个数字，并从3降到0，同时将每个数字加到一个倒计时列表中(3，Y)。应该产生结果吗，Y=[3,2,1].，当我运行这个程序时，我不能看上去是递归的结束，我想知道是否有人可以帮助我？
我似乎没办法让这段代码有什么帮助？我似乎要走出全局堆栈，所以我不知道如何结束递归。
浏览 4提问于2014-12-12得票数 1
回答已采纳
2回答
我试图使用递归从列表中删除整数。我做了这个remove_integers谓词，不知道为什么它不能工作。显然，我错过了关于Prolog的一些非常重要的东西。
remove_integers([], L, L).
remove_integers([H|T], A, L) :-
\+ integer(H),
remove_integers(T, [A|H], L).
我对这个谓词进行了跟踪，得到了以下结果：
[trace] ?- remove_integers([foo, bar, 1, 2, foo], [], L).
Call: (7) remove_integers([
浏览 2提问于2016-03-20得票数 0
回答已采纳
我使用狮身人面像将结果返回到一个自动完成列表。返回时，将缓存客户端的结果，以避免对服务器造成不必要的点击。
其逻辑如下：
对缓存的结果执行客户端模糊匹配算法，并在自动完成中显示
如果matches.length <4，则执行ajax请求并使用sphinx获得更多的结果，总数可达4。
返回结果并追加到自动完成列表
目前，在ajax请求中，我正在发送一个ID数组，这些ID在客户端缓存中匹配，并使用PHP循环斯芬克斯的结果，并将它们从匹配中删除。
这不仅是低效的，而且当然也给我带来了限制结果正确的问题。
我想要做的是从Sphinx匹配本身中排除这些特定的ID，这样限制子句实
浏览 0提问于2012-10-15得票数 0
回答已采纳
2回答
我想要获取一个整数列表，并创建一个位于前一个列表中整数之间(或空隙中)的整数列表。例如，我希望?- findmissing([1,3,4,5,6],X).结果为X = [2]。我如何实现这样的函数呢？
浏览 5提问于2011-10-07得票数 0
回答已采纳
因此，我试图写一个小程序，做以下工作。
我可以在列表中搜索元素，如果元素在列表中找到，那么列表将被打印出来，以确认它已经找到。
所以在基本的伪-
元素列表-计算机、鼠标、键盘、网络摄像机
搜索此列表中的鼠标
输出鼠标在其中找到的列表
在做一些阅读的时候，我发现了一些我想做的事情。这是下面的
on(Item,[Item|Rest]).
on(Item,[DisregardHead|Tail]):-
on(Item, Tail).
如果我输入查询(苹果，梨，葡萄，香蕉，李子，苹果)。然后搜索列表，丢弃不相关的元素，直到它结束并成功为止。
我想要做的是在编辑器中编写我自己
浏览 2提问于2012-11-19得票数 5
1回答
请帮帮我!我不理解SWI-Prolog
从列表L1到列表L2，另一个元素等于列表L1中接下来的三个项目的算术平均值。如果L1元素的数量不能被3整除，则通过将一个或两个最近项目列表L1的和除以3来获得列表L2中的最后一个项目。提示屏引入List L1。因此，程序应该输出输入L1和L2结果列表。
列表项可根据要求提供。
浏览 3提问于2012-11-15得票数 1
回答已采纳
3回答
我正在使用Prolog示例列表程序，并尝试对它们执行一些操作。然而，我被困在一个点，找不到任何解决方案或样本。
我想要写一个函数，它接受两个整数列表并返回一个浮点值。这两个列表大小相等。浮点数是比较除以列表大小的结果。
该函数应该将第一列表中的每一位精英与第二份列表中的每一位精英进行比较。一对(i，j)是I是第一个列表中元素的位置，j是第二个列表中元素的位置。如果元素i大于元素j，则比较结果增加1；如果元素i小于元素j，则比较结果减少1。在上述操作结束时，我们返回上面描述的浮点值。
示例：
retVal([4,5,3], [8,2,1], Result).
应该返回结果=(-1+1+1-1+1
浏览 7提问于2014-06-04得票数 0
回答已采纳
2回答
如何生成从1到N的数字列表，其中N >= 0？
谓词:数字(N，L)。
?- numbers(5,X).
X = [1, 2, 3, 4, 5].
?- numbers(0,X).
X = [].
浏览 1提问于2011-09-15得票数 3
1回答
我收到了这个任务，我需要一些帮助。
在Prolog中构建一个程序
检查列表是否为空
检查列表是否为空
检查列表是否只有一个元素
检查一个列表是否有两个或更多个元素
从列表中获取第一个元素
从列表中获取第二个元素
获得一个没有第一个元素的列表(尾)
将元素添加到列表的首
浏览 0提问于2015-09-17得票数 0
在上一次考试中，我必须编写一个名为double/2的Prolog谓词，按照以下说明:如果Y是一个长度相同的X整数列表，那么double(X, Y)应该是真的，在这个列表中，X的每一个偶数都被它的双数替换。因此，例如，查询double([1, 3, 2, 4], X).应该得到X = [1, 3, 4, 8].结果。
我被允许简单地使用函子even/1，而不需要定义它(实际上很容易定义它)，当参数是偶数时是正确的，否则是假的。实际上，我最终还是用函子odd/1编写了程序。但是我的教授对我说：“你可以只用偶数来写它，也没有必要用奇怪的！”所以我想知道我怎么会这样写。
我所写的是：
double([
浏览 2提问于2014-11-14得票数 3
回答已采纳
2回答
我遇到了一个问题，对于我提出的每一个Prolog问题，我的答案都会被反转。这是因为我学到了如何使用累加器来逆转列表，而现在我似乎能够解决问题的唯一方法是使用类似的程序，它给出了答案，但也逆转了列表。
例如，当被要求编写一个程序，用第三个参数替换第一个参数中第二个参数的所有实例，并将结果列表作为第四个参数时，我编写了以下代码：
replace(L, A, B, X):-
accrep(L, [], A, B, X).
accrep([H | T], Y, A, B, X):-
H = A,
accrep(T, [B | Y], A, B, X).
ac
浏览 5提问于2014-03-13得票数 0
回答已采纳
问题是：
定义谓词split/4，当提供列表L时，整数N返回两个列表A和B，其中A包含大于或等于N的L中的项，B包含低于N的项。
带有预期结果的示例查询：
?- split([1, 5, 2, 3, 4], 3, A, B).
A = [5, 3, 4],
B = [1, 2].
我的代码：
spit([], 0, [], []).
split([I|Is], N, [A|As], [_B|Bs]):-
I >= N,
A is I,
split(Is, N, As, Bs).
split([I|Is], N, [_A|As], [B|Bs]):-
浏览 5提问于2015-06-01得票数 1
回答已采纳
作为在prolog中的练习，我正在尝试将一个整数列表转换为一个整数，如果我们有一个列表1,2,3，则输出123。这是我目前所写的：
listToNum([],_).
listToNum([H|T],Num):-
cntSize(T,Size),
N1 is Num + (H*10**Size),
listToNum(T,N1).
我从程序中收到了这样的评论：
Arguments are not sufficiently instantiated
In:
[2] _1626 is _1632+1* ...
[1] listToNum([1,2],_1696)
浏览 10提问于2021-06-25得票数 0
2回答
我给出了一个列表L，我的任务是根据我想要的数量创建累积副本。
例如，我有list [a,b,c,d]，并希望第一个元素被复制4次(可选)，然后每个后续元素都必须像前面的元素+ 1那样被复制。
让我们假设我的谓词名为list_copy(L,N,R)，L = [a,b,c,d]和K = 2的结果应该是：
?- list_copy([a,b,c,d],2,R).
R = [a,a,b,b,b,c,c,c,c,d,d,d,d,d]
我已经成功地创建了一个通用代码，用于重复列表两次：
dupl([],[]).
dupl([O|U],[O,O|U1]) :- dupl(U,U1).
根据我在第二行中放了
浏览 4提问于2016-11-24得票数 3
回答已采纳
我想让prolog返回给定列表的所有可能的子列表，所以我写道：
subSet(L,S):- append(_,L2,L),append(S,_,L2).
通过这种方式，我得到了如下结果：
Out = [] ;
Out = [a] ;
Out = [a, b] ;
Out = [a, b, c] ;
Out = [] ;
Out = [b] ;
Out = [b, c] ;
Out = [] ;
Out = [c] ;
Out = [] ;
我要怎么做才能摆脱重复的空列表？
浏览 0提问于2012-03-14得票数 1
回答已采纳
1回答
因此，我试图从给定的列表中得到积极元素的列表。到目前为止，我已经找到了这个解决方案：
1 getPos([],[]).
2 getPos([], L).
3 getPos([Head|Tail], L):-
4 Head<0, getPos(Tail,L).
5 getPos([Head|Tail], L:-
6 Head>0, getPos(Tail, [Head|L]).
如果我尝试getPos([1,-2,3], Result).，我就得到了事实2，结果如下：
Call: getPos([], [3,1|_29])?
Exit: getPos([], [3,1|_29
浏览 3提问于2019-02-26得票数 1
回答已采纳
1回答
我正在试着做一个单词计算器。从文件中读取单词..将它们转换为数字，然后计算结果。我设法做到了所有这些，但我认为我的程序中有两个bug ..
我主要有两个功能...
提取(单词)，计算(单词，0)。
提取将从文件中读取..然后返回一个单词列表。例:一加三..现在，calculate会将这些单词的值转换为数字并进行计算。我也设法做到了..现在的错误是:如果我在文件中遇到stop，我必须停止读取并终止。所以如果单词是停止结束的话。我尝试了以下几种方法。
execute :-
extract(Words),
Words = [stop],nl,print('Terminating ...&
浏览 2提问于2010-12-31得票数 3
回答已采纳
我很难理解findall/3为什么在我的程序中是这样的。基本上，我已经编写了i谓词，这应该是取一个列表，并返回每个可能的两个索引--例如，如果我的列表长度为3，pairs([1,2,3],L)将返回[1/2, 1/3, 2/3]，正如我所期望的那样。(在我的对谓词中，我用findall生成这个列表L)
但是我写了另一个谓词，它应该返回一个包含所有子列表的列表，一个列表和谓词也使用findall，但是结果与我预期的不一样。
/*calculate a list CASES with all the sublists from LIST .*/
test(LIST, CASES):-
pai
浏览 5提问于2021-05-14得票数 0
回答已采纳
1回答
我正在做一项练习，尝试使用..。谓词写入一个过程，该过程删除PredName(X)失败的列表中的所有元素，并返回剩余的列表，结果如下：
filter(List, PredName, Result)
在这种情况下，PredName被定义为：
test(N) :- atom(N).
例如：
?- filter([a,b,-6,7,A,-1,0,B], test, L).
L = [a,b,-6,7,-1,0],
我得到了以下内容，但我不知道为什么在使用上面的示例进行测试时，我的结果仍然是错误的：
test(N):-
atomic(N).
filter([], _, []).
filter2
浏览 1提问于2016-07-29得票数 0
回答已采纳
我试图在Prolog select_integers(X, L)中创建一个谓词，如果L是包含X中每个整数的列表(X包含多种类型的值)，则该谓词是正确的。
到目前为止，我的情况如下：
select_integers([], []).
select_integers([X|XS], L) :-
integer(X),
member(X, L),
select_integers(XS, L).
我在这里错过了什么？我如何改进这一点，以获得我想要的结果？(它当前为我所做的任何事情返回false )
浏览 1提问于2016-05-08得票数 2
回答已采纳
1回答
我想把一个通过整数分隔开的单词列表分成一个列表。
示例查询和预期结果：
?- separatewords([h,e,l,l,o,1,o,v,e,r,3,t,h,e,r,e], X).
X = [[h,e,l,l,o],[o,v,e,r],[t,h,e,r,e]].
我已经完成了以下工作:将列表拆分为第一个整数之前的一个列表和第一个整数之后的一个列表：
带有结果的示例查询：
?- take1word([h,e,l,l,o,1,o,v,e,r,3,t,h,e,r,e], X, Y).
X = [h,e,l,l,o], Y = [o,v,e,r,3,t,h,e,r,e].
浏览 3提问于2014-11-22得票数 4
回答已采纳
1回答
所以我的问题是这个谓词是n_aleatorios( El，INF，SUP，L)，其中El是列表的长度，INF是列表的下限值，SUP是列表的上限值，L是一个列表。 这个谓词的目标是创建一个随机整数列表。 问题是，这是作为结果给出真，而不是统一和给出列表作为结果。 辅助谓词： /*Checks if a number isnt a member of a list*/
nao_membro(_, []).
nao_membro(X, [P | R]) :- X \== P,
nao_membro(X, R).
/*Joins an int
浏览 21提问于2020-04-16得票数 0
2回答
Prolog列表问题
、、、
当我遇到这个问题时，我正在试着理解prolog中的列表：
有一个谓词mergeandmap/2基本上应该这样做：
mergeandmap([[a1,...,an],...,[z1,...,zm]],[x1...xn])
%----------list 1------------ -list 2--
列表2与字母(例如a、b、c)相一致。列表1与包含1s和0的大小(List2)元素相一致(例如：[0，0，1，1，1，1，1，1，1])
prolog程序应从列表1中确定应打印列表2中的哪些元素以及何时打印。
对于上面的例子：
([[0,0,1],[1,0,1],[0,1,1
浏览 3提问于2009-12-13得票数 0
回答已采纳
这个程序比较两个列表的项目，并返回一个列表，其中的项目是第一个列表的成员，而不是第二个列表的成员。例如：list1=[a,b,d], list2=[r,a,f,b] ----> result =[a,b]。
go:- comp([y,h,b],[b,t],R),!.
comp([],_,_) :- !.
comp(_,[],_) :- !.
comp([H|T],B,_) :- memberchk(H,B),comp(T,B,_); comp(T,B,R),write([H]).
当前结果为[h][y]
我需要的结果应该是[h,y]
浏览 1提问于2013-12-02得票数 0
2回答
我有一个谓词，如：
solve(parts(X), Places) :-
"iterate Pl from Places to 0",
tryPutPart(X, Pl),
fail.
我想在那里强制回溯，因为我想要所有可能的解决方案(相反，我会在不同的谓词中递归地找到Pl的位置)。
有可能这样做吗？我的想法是做一个长度Places的列表，看起来像[1, 2, 3.....]，然后尝试不确定地从它中输出一些Y。
我想要的行为是，如果我将places(0). places(1). places(2). - ... -等写进代码，然后编写如下
:- plac
浏览 2提问于2016-06-19得票数 1
回答已采纳
1回答
Prolog递归列表
、、、
现在，我只能尝试定义一个谓词ascending/1，它接受一个列表列表，并确定列表是否在列表中排序。我创建了一个辅助谓词smaller/2，并接受了两个列表，例如A和B‘，如果A小于或等于B的长度，否则会失败。我的问题是，假设smaller/2实现正确，如何在谓词ascending/1中递归调用smaller/2？我对prolog很陌生，所以语法让我感到困惑。到目前为止，我已经：
%empty list%
ascending([]).
ascending([Z]) :- smaller ([_|Z]), [_,_|Z]).
我试着把列表的第一位和列表的第二位进行比较。另外，我不想使用任何其他
浏览 0提问于2014-11-03得票数 2
在我探索记录列表的不同方法的过程中，我对佩雷拉和希伯的“Prolog和自然语言分析”(Prolog and )一书(第42页)中的“Prolog和自然语言分析”(Prolog and )一书中的列表感兴趣。
起初，我认为这样的表示法在语法上是不正确的，因为它必须说是[[a,b]|[c]]，但是在使用write_canonical/1之后，Prolog返回了'.'('.'(a,'.'(b,[])),c)。
据我所见，这对应于以下树结构(虽然在我看来，这种结构只是以c结尾，而没有末尾的空列表)：
不过，我似乎找不到使用逗号和括号的对应符号。
浏览 0提问于2017-07-28得票数 3
回答已采纳
我找到了，但是，它对我不起作用。
我的predicate generate_color(Color)为生成随机颜色。
当我尝试调用它N次并将执行的值保存在列表中时，我总是得到单个结果，而不是很多结果。
findnsols(3, Color, generate_color(Color),Colors).
Colors = "# 4c4b43“。
findnsols(3, Color, generate_color(Color),Colors).
颜色= "# 158955“。
findnsols (300, Color, generate_color (Col
浏览 3提问于2021-06-24得票数 1
回答已采纳
1回答
理解Prolog列表和递归
、、、、
reverse([], X, X).
reverse([H|Original], Result, Reverse) :-
reverse(Original, Result, [H|Reverse]).
?- reverse([1,2,3], X, []).
X = [3,2,1].
因此，上面是一个相当简单的Prolog程序来逆转一个列表。我只是想找人向我解释一下反向规则中的Reverse变量是如何得到结果的。根据我的想法，我将原始列表的头添加到一个新列表Reverse的头上，从而逆转列表。我在任何地方都没有与变量结果交互，那么它为什么会保存任何东西呢？
我已经被困在这件事上好几天了
浏览 1提问于2015-11-01得票数 2
回答已采纳
1回答
假设我有以下谓词：
func1(X,B,R)
我给它提供了一个X和B，作为回报，它给了我5个不同的结果。
编辑:X和B不指定范围。相反，X指定一个整数(例如120)，B指定立方小于X的所有整数(从1开始)。func1所做的是计算R作为剩余的结果。在这种情况下，X=120：
B = 1, R = 119 (120-1^3)
B = 2, R = 112 (120-2^3)
B = 3, R = 93 (120-3^3)
B = 4, R = 56 (120-4^3)
它不会计算B=5，因为5^3 = 125 (大于120 )，所以它就在这里结束。
如何生成谓词，如：
func2(R,S)
它会接
浏览 4提问于2016-01-30得票数 0
回答已采纳
a)编写一个谓词heads/2 (a r g l，arg2)，它接受argl中列表的实例化列表，并将子列表的头部列表计算为arg2。例如：
?- heads([[3, 8], [9], [1, 2, 3], [a, b, c]], L).
L = [3, 9, l, a]
b)定义mply以接受两个输入；一个整数和整数列表。结果是通过将列表中的每个整数乘以输入整数而形成的整数列表。例如：
?- mply(5, [1, 2, 3], X).
X = [5, 10, 15]
C)编写一个Prolog程序，名为compute ( Expr，Value)，它将计算算术表达式Expr的值
浏览 3提问于2013-06-27得票数 0
回答已采纳
1回答
我的prolog写得很糟糕。在这个简单的代码中，我不断得到重复的结果。“
mates(bob, john).
mates(bob, bill).
mates(andrea, sara).
mates(andrea, bill).
friends(X, Y) :- mates(X, Z), mates(Y, Z).
呼叫朋友(bob，X)。我得到了鲍勃两次。如果我可以使用and If语句就好了！
如何消除重复的结果？IE If(result1 == result2)不打印；
我正在寻找类似的朋友(结果应该是bob和andrea (因为bill) )。
浏览 0提问于2011-05-11得票数 1
回答已采纳
4回答
我想要做一个简单的程序，重复扩展一个列表的另一个列表，但给出一个结果的每一步。
我有这样的东西，它只运行一次：
repeat(S, R, X) :- append(S,R,X).
:- repeat([y], [x], X).
X = [y,x].
然后我尝试了这个，它永远运行：
repeat(S, R, X) :- append(S,R,X), repeat(S,R,X).
怎样才能使这个程序输出类似于：
:- repeat([y], [x], X).
X = [y,x];
X = [y,x,x];
X = [y,x,x,x];
x = [y,x,x,x,x];
....
我想我需要一些基
浏览 5提问于2013-12-06得票数 0
回答已采纳
我目前正在尝试编写一个Prolog程序，它将在列表的末尾添加一个给定的字符。列表中的元素是我想要追加的元素。这就是我现在所拥有的。
extends(X, [], []).
extends(X, [[Head]|Lists], Y):-
append([X], [Head], Y),
extends(X, Lists, [Y]).
这里我试图连接X和Head，将其存储在Y中。但是我希望Y是一个列表列表，所以当它再次重复这个进程时，下一个级联也将存储在Y中。所以在程序的末尾，Y将存储所有连接的结果。我希望结果如下所示。
?- extends(a, [[b,c], [d,e,f],
浏览 0提问于2018-04-29得票数 1
回答已采纳
我是Prolog中的新手，在处理包含其他列表的列表时遇到了问题。我有这样的列表：[([5],23),([1],23),([2],43),([4],29),([3],14),([5,1,4,3],47)]和我正在尝试取最大长度的(子)列表，并把它放在列表的第一位
在本例中，我希望结果如下：([5,1,4,3],47),([5],23),([1],23),([2],43),([4],29),([3],14)]
(不管它是否会被从它的起点移走)。
感谢所有愿意帮忙的人
浏览 0提问于2016-12-06得票数 3
回答已采纳
2回答
我正在尝试编写prolog代码，以便从列表中选择一个随机规则，然后执行它。这就是我所做的工作：
/* Rules */
rule1 :- write('1').
rule2 :- write('2').
rule3 :- write('3').
/* List of rules */
list([rule1,rule2,rule3]).
/* Rule to select random rule from list */
findRule :- random_between(0,2,Elem),
list(L),
浏览 1提问于2015-01-08得票数 2
回答已采纳
我正在尝试解决列表构造部分的练习2
编写一个程序，从列表中删除特定项目的所有引用。它应该有三个论点。要使用的列表、要删除的项和结果列表。
下面是我想出的脚本：
delete_all([],Y,[]).
delete_all([X|T],Y,[X|Result]):-
X =\= Y, /* is X different than Y */
delete_all(T,Y,Result). /* if so then go find the rest */
delete_
浏览 5提问于2017-06-17得票数 3
回答已采纳
2回答
刚开始学习Prolog，不知道如何得到包含"all true“的结果，例如：
preAction(4, 3).
preAction(4, 2).
preAction(2, 1).
action(4).
action(2).
action(1).
takeAction(X) :-
action(X),
preAction(X, Y),
action(Y).
预期的结果是2，因为action(2)和action(1)都为真。但是现在的结果是4和2。但是4的preAction是(3,2)，并且没有action(3)。这不是我想要的。
如果我尝试使用否定，因为4的preA
浏览 0提问于2015-02-28得票数 0
我是prolog的新手，我只是在学习列表，我偶然发现了。这个答案对于一个整数列表来说是完美的。
minimo([X], X) :- !.
minimo([X,Y|Tail], N):-
( X > Y ->
minimo([Y|Tail], N)
;
minimo([X|Tail], N)
).
如何更改此代码以从混合列表中获取最小的int？
这
sint([a,b,3,2,1],S)
应给予答复：
S=1
浏览 3提问于2017-03-19得票数 1
回答已采纳
我从Prolog开始，我有点困惑...
我有一个简单的程序：
sum(0, []).
sum(Total, [Head|Tail]) :- sum(Sum, Tail), Total is Head + Sum.
当我调试时，我可以看到Prolog首先用头部和尾部拆分列表，所以结果是0+空列表，然后它开始对数字求和并再次将其添加到列表中。
有人能解释一下为什么不是先到Total is Head + Sum.，然后再把列表拆分成头部和尾部吗？
编辑:以下是跟踪信息：
[trace] ?- sum(X, [1,2,3]).
Call: (6) sum(_G345, [1, 2, 3]) ? cr
浏览 2提问于2012-07-09得票数 2
回答已采纳
我有一项任务似乎超出了我们班的范围(我这么说是因为他们几乎没有教我们任何关于prolog的知识)，我必须编写一个prolog程序来解决android上的"Flow Free“游戏。在作业中，它被称为Numberlink。我可以在一个小时内在C++中解决这个问题，但是由于我对prolog不太熟悉，这给我带来了麻烦。以下是我想做的事：
创建一个包含布尔值的列表，以指示它是否已被访问或使用。
递归搜索从给定起点到终点的所有可能路径，使用宽度优先搜索来查找最短路径。
从那走吧我想。
我的尝试包括在网络上搜索如何列一个列表。当然，prolog在任何地方都没有很好的文档记录，所
浏览 1提问于2016-01-27得票数 4
回答已采纳
1回答
我有一个谓词，其格式如下：pilot( ID1, ID2 ).
我正在为引导程序搜索多个值，我可以从findall中获取这个谓词，但是我如何使用这个新谓词来创建这样的列表：
[ pilot( ID1, ID2 ), pilot( ID1, ID2 ), pilot( ID1, ID2 ), pilot( ID1, ID2 ), ... ].
澄清
我这样做:我问航班的ID : ID
然后这样做：findall( flightS( PILOTS ), flight( ID, PILOTS, _, _, _, _), Xs).
我得到了这样的东西：
Xs = [ flightS( 1, 2 ),
浏览 2提问于2015-05-29得票数 0
回答已采纳
我试图为命令接口编写一个DCG。这样做的目的是读取输入字符串，将其拆分到空格中，并将得到的令牌列表传递给DCG，以便将其解析为命令和参数。解析的结果应该是一个术语列表，我可以用它与=..一起构建要调用的目标。但是，我对SWI (ver )中的字符串类型情况感到非常困惑。7.2.3)。supposed包含一个库，包括一个目标integer//1，它应该解析一个整数。它由于类型错误而失败，但更大的问题是，我无法找到如何使DCG在中与“令牌列表”很好地工作。
我想做的是：
:- use_module(library(dcg/basics)).
% integer//1 is from the dc
浏览 0提问于2016-05-22得票数 0
我跟随学习Prolog。
该代码在REPL中加载factorial程序，并从What中得到factorial函数的结果。
?-“factorial.pl”。/* 1.从本地文件*/加载程序
true.
?-清单(阶乘/2)。/* 2.将程序列表到屏幕上*/
factorial(0,1).
factorial(A,B) :-
A > 0,
C is A-1,
factorial(C,D),
B is A*D.
>true.
?-因子(10，什么)。/* 3.计算因子为
浏览 2提问于2016-05-07得票数 4
2回答
我想要生成一个列表，它是由子列表组成的，其中包含两个中间层及其和积。
预期结果是
A = [[2,3,5,6],[2,4,6,8],[2,5,7,10],[2,6,8,12],
[2,7,9,14],[2,8,10,16],[3,4,7,12],[3,5,8,15],
[3,6,9,18],[3,7,10,21],[4,5,9,20]].
但我保留了一些子列表，它们没有和和积：
?- get(A).
A = [[2,3,5,6],[2,4,6,8],[2,5,7,10],[2,6,8,12],
[2,7,9,14],[2,8,10,16],[2,_G419,_G422,_G425],
[3,
浏览 2提问于2016-03-13得票数 1
回答已采纳
4回答
我试图用Prolog编写一个程序，它将包含三个列表(所有这些列表都是相同的长度)并返回一个列表列表。
我要返回的列表列表是一个三重列表，其中包含正在传递的三个列表中的元素。三元组的第一个元素来自传入的第一个列表，第二个元素来自第二个列表，第三个元素来自传入的第三个列表。
我想要发生的是函数返回的三元组列表，以返回从传入的三个列表中可以生成的每一个可能的组合。
到目前为止，我有一些代码，这些代码接受三个列表的前几个元素，并将它们分成三个，然后从所有列表中提取第二个元素，然后再从它们中提取一个三元组，以此类推。它在下面。
listCombos( [], [], [], []).
lis
浏览 0提问于2018-10-14得票数 1
2回答
我想在两个列表(相同的长度)中计算相同位置的元素数量。例如:假设我们有列表A= 3,6,7,9和B= 2,6,4,9，我想要在屏幕上打印出“找到两个多头”的信息。
到目前为止，我已经这样做了：
bulls([],[]).
bulls([Ha|Ta],[Hb|Tb]) :-
Ha = Hb,
writeln('bull found'),
bulls(Ta,Tb);
bulls(Ta,Tb).
每次在两个列表中都存在相同位置的元素时，都会打印消息'bull found‘。在我的脑海里，我想做这样的事情：
bulls([],[],_).
bul
浏览 3提问于2012-02-08得票数 0
回答已采纳
我的意思是，如何在另一个函数中使用findall函数
subset(0, [], []).
subset(Len, [E|Tail], [E|NTail]):- succ(PLen, Len),(PLen > 0 -> subset(PLen, Tail, NTail) ; NTail=[]).
subset(Len, [_|Tail], NTail):- subset(Len, Tail, NTail).
这给出了一个包含N个元素的列表的子列表，但我想将所有结果保存在一个列表中，然后我写道
result(N,List,Result):- findall3(Y,subset(N,
浏览 0提问于2013-06-10得票数 0
1回答
我在递归搜索列表和根据结果创建列表时遇到了困难。
知识库包含团队名称、获胜数和他们所在的区域，所有这些都与他们的团队编号相关联。我正在Teams中传递团队编号列表，并且正在寻找与findMinMax/3匹配的一对。我需要的结果是..。
成对团队的列表(例如。( X = [[gonzaga, washington], [iowa, oklahoma], …])和1组不匹配(由奇数个队组成)或0(偶数)
我想出了其他的一切，并且可以达到[gonzaga, washington]部分，但是递归部分失败了.
findPair(Teams,[HL|TL],Rest) :-
findMinMax(
浏览 3提问于2012-08-19得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
