Prolog路径发现
作为一个云计算领域的专家，我可以告诉你，Prolog路径发现是一种基于逻辑编程的技术，用于在复杂的问题空间中查找解决方案。Prolog是一种编程语言，它允许用户使用逻辑语言来表示问题和解决方案，并且可以使用规则和事实来推导出解决方案。
在Prolog路径发现中，程序员可以使用逻辑语言来表示问题和解决方案，并且可以使用规则和事实来推导出解决方案。例如，程序员可以使用逻辑语言来表示一个问题，例如“如何从A到B”，并且可以使用规则和事实来推导出解决方案，例如“从A到B需要经过C和D”。
Prolog路径发现的优势在于它可以处理复杂的问题空间，并且可以找到多个解决方案。它可以用于各种应用程序，例如路由器、导航系统、推荐系统等等。
在腾讯云中，Prolog路径发现可以应用于各种场景，例如在分布式系统中查找最佳路径、在推荐系统中查找最佳推荐等等。腾讯云提供了一系列的产品和服务，可以帮助用户实现Prolog路径发现，例如云服务器、负载均衡、数据库、存储等等。
推荐的腾讯云相关产品和产品介绍链接地址：
- 云服务器：https://cloud.tencent.com/product/cvm
- 负载均衡：https://cloud.tencent.com/product/clb
- 数据库：https://cloud.tencent.com/product/cdb
- 存储：https://cloud.tencent.com/product/cos
希望这个答案能够帮助你更好地了解Prolog路径发现和腾讯云相关产品。
相关·内容
我对Unix上的SWI Prolog 6.2.0和XPCE有一个奇怪的问题。
当我运行一个prolog程序时，它工作得非常好。
swipl -f file.pl
然而，每当我尝试编译相同的程序时
swipl -o launch -c file.pl
我收到一个错误，告诉我pce库不可用。
source_sink `library(pce)' does not exist
我完全不知道原因是什么。。。
浏览 7提问于2012-08-28得票数 2
回答已采纳
我正在尝试用SWI-Prolog编写一个简单的图搜索。我想出了以下程序：
adjacent(1,4). adjacent(4,2). adjacent(3,6).
adjacent(6,4). adjacent(7,10). adjacent(4,9).
adjacent(5,10). adjacent(7,10). adjacent(7,12).
adjacent(6, 11). adjacent(13,11). adjacent(9,14).
adjacent(14,12). adjacent(10,15). adjacent(9,12).
connected(X,Y) :- adjac
浏览 0提问于2009-10-22得票数 1
回答已采纳
如何在prolog中寻找未知迷宫中的路径？我有初始位置，没有。行和列，但没有结束位置，我不能给行*列作为结束，因为我必须递归移动以找到Wumpus，pit，wall和迷宫中的空白空间。
浏览 6提问于2018-05-23得票数 0
我正在使用代码。我在与prolog逻辑范例做斗争。我有两个问题。
是否有一种方法可以将 path 谓词更改为不仅获得“最佳”路径，而且按顺序获得所有通向该节点/位置的路径？
如何使path谓词更加“用户友好”，只需插入我想要计算的两个位置，例如路径(伦敦，曼彻斯特)
浏览 0提问于2018-04-19得票数 0
1回答
我对探索者的东西很感兴趣，在2011年的网站上找到了一个很酷的例子，但是对代码没有任何解释。我明白它的作用，但不知道这些步骤是如何工作的。因此，例如，这些是边：
edge(1,2).
edge(1,4).
edge(2,4).
edge(3,6).
edge(3,7).
edge(4,3).
edge(4,5).
edge(5,6).
edge(5,7).
edge(6,5).
edge(7,5).
edge(8,6).
edge(8,7).
这样我就能看出他们之间是否有路可走：
path(X,Y,[X,Y]):- edge(X,Y).
path(X,Y,[X|Xs]):- edge(X,W)
浏览 4提问于2021-04-27得票数 1
回答已采纳
2回答
我想知道是否存在从一个点到另一个点的路径。
例如，2 -> 4 -> 7 1 -> 3 -> 2 -> 9 5 -> 1 -> 6 -> 8
这些就是路径。我想写一个谓词路径(Start，End)，弧由一组弧(From，To)事实表示。
例如，当给定path(1，7)时，必须返回true。当给定path(6，1)时，必须返回false。因为弧线是定向的。
浏览 0提问于2012-04-20得票数 0
2回答
我在prolog中有下面的代码来生成一个从一个节点到另一个节点的路径，但是我无法在屏幕上看到我的结果。我只是得到了真的答案。最后一个变量名不绑定到结果：
edge(a,b).
edge(b,d).
edge(b,c).
edge(c,d).
path(A,B,P):-
path_1(A,B,[A],P).
path_1(A,B,P,Path):- last_element(P,S),S=B.
path_1(A,B,P,Path):-
edge(A,X),\+member(X,P),append(P,[X],NewP),
浏览 3提问于2012-01-17得票数 1
1回答
我正在写下面的代码，并且工作正常。
edge(s,a,300,300/500 * 60, 300*1,plane).
edge(s,a,300,300/120 * 60, 300*3/4,train).
edge(s,a,300,300/80 * 60, 300*3/5,bus).
edge(s,a,300,300/100 * 60, 300*2/5,car).
edge(s,a,300,300/5 * 60, 300*0,walk).
edge(s,d,20,20/500 * 60, 20*1,plane).
edge(s,d,20,20/120 * 60, 20*3/4,train).
浏览 4提问于2012-11-09得票数 0
回答已采纳
1回答
嗨，在我被告知这个问题已经被问了很多次之前，我已经看了一堆问题，但没有一个与Prolog有关。这就是我有困难的地方。
这是我到目前为止的代码：
move1( (X1,Y1), (X2,Y2) ) :- up1( X1, X2 ), up2( Y1, Y2 ).
move1( (X1,Y1), (X2,Y2) ) :- up2( X1, X2 ), up1( Y1, Y2 ).
move1( (X1,Y1), (X2,Y2) ) :- up1( X1, X2 ), down2( Y1, Y2 ).
move1( (X1,Y1), (X2,Y2) ) :- up2( X1, X2 ), down1
浏览 0提问于2016-12-18得票数 2
1回答
我有一个关于附加列表的问题。
find_paths(Start, Finish) :- path(Start, Finish, [Start], Path),
append([Path], List, Result),
fail.
路径是一个列表。
我将获得失败的n个路径，但是如果我放入write(Result)，它将打印这个[...，H234] n次。
如何告诉prolog使用上一次迭代的结果，并在每次失败时附加一个新路径？
浏览 0提问于2011-10-22得票数 1
2回答
我有一个xml文件，它以< ?xml version="1.0“encoding="utf-8"?>
.并用java进行了dom xml解析。如果我在我的Firefox浏览器4.0版中通过Tomcat管理器编译和运行，该程序将成功执行。但是，如果我在Firefox浏览器的最新版本12.0或IE8中尝试相同的操作，则会导致以下错误。
SAX异常: org.xml.sax.SAXParseException；lineNumber: 1；columnNumber: 1；前言中不允许内容。我在互联网上搜索过这个问题，有人说在utf-8和前言之间加一个空格。我也试过了
浏览 1提问于2012-06-22得票数 1
1回答
我在prolog中尝试加载使用swipl-ld生成的DLL时出错，抛出异常的谓词是
initialization(shlib:use_foreign_library('C:/Users/valquiria.duarte/Desktop/dlog-server-0.3-beta-source/dlog-server/output/hash_swi.dll', install)),
例外的是这一个
ERROR: '$open_shared_object'/3: %1 is not a valid Win32 application.
浏览 0提问于2011-08-11得票数 2
回答已采纳
1回答
解决方案
ppath(X,Y,M,Path,[Y|Path]) :- edge(X,Y,M),
\+ memberchk(Y,Path).
path(X,Y,P,SoFar,Path) :- edge(X,W,M), \+
memberchk(W,SoFar),
path(W,Y,N,[W|SoFar],Path), P is M+N.
pravilo(X,Y,Z) :-
aggregate(min(W), P^path(X,Y,W,[],P),
Z).
在此之后，我尝试使用?- pravilo(a,z,M).来获得结果。但上面写的是假的。
我的SWI版本(多线
浏览 0提问于2013-09-26得票数 2
回答已采纳
2回答
我有关系child(X,Y)，其中X是根/父节点，Y是子节点，因此是有向边。我想从dynamic relation height(R, H)中的特定根节点R计算每个子树的高度H。
我之前的代码：
child(a,b).
child(a,f).
child(f,g).
child(f,h).
child(b,c).
child(c,d).
child(b,e).
child(c,l).
child(l,j).
height(R, H) :-
path(R,_,B,H),
write(B).
path(X,Y,[X,Y],1) :-
child(X,Y).
path(X
浏览 0提问于2016-07-07得票数 0
2回答
我是Prolog的初学者，我想问一个关于Prolog的问题。
我的程序是基于不确定的有限状态自动机。
开始状态是S0，最后一个状态是S3。
图表是
因此，如果存在字符串[a,a,b,b,c,c]，则应该如下所示
start(s0).
edge(a, s0, s0).
edge(a, s0, s1).
edge(b, s1, s1).
edge(b, s1, s2).
edge(c, s2, s2).
edge(c, s2, s3).
final(s3).
有一个谓词accepts(Ls) if ( Ls是一个字符串列表)
accepts(Ls) :- start(A), goesTo
浏览 4提问于2012-10-05得票数 2
1回答
prolog的性能问题
、、、
我目前正在实现一个prolog程序来计算两点之间的最短路径。该框架已经存在于Java项目中。作为一种需求，路径必须在prolog中实现。因此，我使用gnu.prolog ()
在java之外，我调用searchPath(1,5,Path)，它将返回Path=[5,4,3,2,1]
下面是我的prolog代码：
:- dynamic(path/3).
findPath( [Goal | Rest], Goal, Temp, Temp, [Goal | Rest]).
findPath( [A | Rest], Goal, Cost, Temp, Path) :-
path(A,B,C
浏览 2提问于2013-04-04得票数 2
回答已采纳
1回答
抱歉第一次问我是新来的..。我对密码做了清理。问题是:我有一个有路径和障碍的正方形网格。我想找出从一个点到另一个点的最短路径。这是人工智能的一部分。当路径太大时，我无法看到整个列表上的点，但在游戏中，人物谁走这条路，它就不会在最短的路径上。所以，我的问题是，我如何改变这个代码，以解决最短的路径。非常感谢!
mov(X1,Y1,X2,Y2):-
pos(X1,Y1), X2 is X1 , Y2 is Y1+1 ,pos(X2,Y2).
mov(X1,Y1,X2,Y2):-
pos(X1,Y1), X2 is X1 , Y2 is Y1-1 ,pos(X2,Y2).
mov(X1,
浏览 0提问于2014-11-02得票数 0
回答已采纳
1回答
使用广度优先搜索和深度优先搜索查找从起始节点到终端节点的总成本。在这里，开始节点作为节点“0”，结束节点为“4”。连接任意两个节点的边缘描述了这两个节点之间的成本：
浏览 6提问于2022-07-17得票数 -1
3回答
我有一个充满事实的数据库，如下所示：
overground(newcrossgate,brockley,2).
overground(brockley,honoroakpark,3).
overground(honoroakpark,foresthill,3).
overground(foresthill,sydenham,2).
overground(sydenham,pengewest,3).
overground(pengewest,anerley,2).
overground(anerley,norwoodjunction,3).
overground(norwoodjunction,
浏览 2提问于2012-01-14得票数 0
1回答
这是我第一次用Prolog编程，我在掌握如何准确地使用这门语言时遇到了一些困难。我正在构建一个分析难题并返回解决难题的操作列表(path)的程序。这是一个非常简单的版本，看起来像这样：
puzzle(Size,start(StartX,StartY),goal(GoalX,GoalY),Clues,Path) :-
solve(Size,StartX,StartY,XX,YY,Turns,Clues,GoalX,GoalY,[field(StartX,StartY)],Path).
solve(Size,X,Y,XX,YY,Turns,Clues,GoalX,GoalY,Visited,
浏览 1提问于2011-12-09得票数 2
1回答
我从一个例子中创建了一个简单的图搜索。
move(math101, math102).
move(math101, chem101).
move(math102, math210).
move(math102, phys102).
move(phys102, phys201).
move(math210, phys201).
search(A, A, [A]).
search(A, B, [A|Path]) :-
move(A,C),
search(C,B,Path).
我可以告诉你，要从“phys201”到“math101”，你需要通过“math102”
浏览 2提问于2014-11-21得票数 1
回答已采纳
1回答
Prolog中的有向图
、、、
请有人详细说明旅行(A，B，访问，路径)和旅行(A，B，P，B=P)的功能/条件。此代码在图中查找路径A和B之间的路径。
edge(a,b).
edge(b,c).
edge(b,d).
edge(c,d).
edge(d,b).
edge(e,f).
edge(e,g).
edge(e,h).
edge(h,i).
edge(i,g).
edge(b,e).
connectedEdges(X,Y) :- edge(X,Y).
connectedEdges(X,Y) :- edge(Y,X).
path(A,B,Path) :-
travel(A,B,[A],Q),
浏览 3提问于2016-10-16得票数 1
回答已采纳
1回答
我在prolog中遇到了一些困难，我正在尝试编写一个谓词，它将返回两个城市之间的所有路径，尽管目前它返回在无限循环中找到的第一个路径。我不知道我错在哪里，但我已经试了一整天，但我什么也没得到。
任何可以提供的帮助都将不胜感激。
go:-
repeat,
f([],0,lon,spa,OP,OD),
write(OP),
write(OD),
fail.
city(lon).
city(ath).
city(spa).
city(kol).
path(lon,1,ath).
path(ath,3,spa).
path(spa,2,kol).
path(
浏览 0提问于2011-11-27得票数 0
回答已采纳
我想知道如何用最小连接来获得路径，而不是使用连接值的最小和的路径。我的知识是：
edge (vertex1, vertex2, value).
谓词应该返回连接的路径和数量。
我有这个谓词，但是它用连接之间的最小值来计算路径，而不是计算连接本身的数量。
path(X,Y,[X,Y],L):-
edge(X,Y,L).
path(X,Y,[X|W],L):-
edge(X,Z,L1),
path(Z,Y,W,L2),
L is L1 + L2.
shortestPath(X,X,[X,X],0):- !.
shortestPath(X,Y,MinP,Mi
浏览 4提问于2021-11-21得票数 0
回答已采纳
4回答
我正在尝试使用SWI库，但我遇到了问题。
我试图让Eclipse项目访问JPL，但是当我尝试启动该程序时，我会得到以下错误：
Exception in thread "AWT-EventQueue-0" java.lang.UnsatisfiedLinkError: no jpl in java.library.path
我将jpl.jar复制到我的项目目录中，并将其设置在构建路径上。此外，我传递以下VM参数：
-Djava.library.path="C:\Program Files\Prolog\bin"
(这是安装Prolog的目录)。
我做错了什么？
浏览 4提问于2012-03-17得票数 3
回答已采纳
1回答
我想列出知识库中的所有考试(A，B)：
exam([a, 26]).
exam([b, 30]).
exam([c, 20]).
exam([d, 19]).
我知道我可以简单地使用：
exams(L) :- findall(X, exam(X), L).
但是，由于我想写我自己的角色，我写了如下：
exams([exam([A,B])]) :- exam([A,B]).
exams([exam([A,B])|Ex]) :- \+(member(exam([A,B]),Ex)), exams(Ex).
为什么有这样的查询?-考试(X)。该系统的答复如下：
?- exams(X).
X = [e
浏览 3提问于2014-08-31得票数 1
1回答
我有这样的数据库：
traject(departure,arrive,transport).
traject(London,Paris,train).
traject(Paris,Madrid,train).
traject(Madrid,Lisbon,bus).
traject(Madrid,Berlin,plane).
traject(Berlin,Prague,bus).
我有个规矩：
connection(Departure,Arrrive):-traject(Departure,Arrive,Transport).
connection(Departure,Arrrive):-tr
浏览 2提问于2015-10-15得票数 2
回答已采纳
3回答
我对这个作业有个问题。我必须用prolog编写代码，它将告诉我最深的树叶的方法。
树表示为：
tree([ [ [],r,[[],u,[[],t,[]]] ], a , [ [], c, [] ]])
其中类似于nil，而a是根。
它应该向我显示类似这样的内容：PATH = [a, r, u, t]
我会非常感激的。
解决方案：
deepest(T,D) :- aggregate(max(L,P),(path(T,P),length(P,L)),max(_,D)).
path([],[]).
path([L,K,R],[K|P]) :- path(L,P) ; path(R,P).
测试
浏览 3提问于2015-04-15得票数 1
1回答
考虑到以下代码：
fun(a, [b]).
fun(b, [c]).
fun(c, [d]).
fun(d, [e]).
fun(e, []).
xyz(X, Y):-
fun(X,Z) -> findall([A|B], (member(A,Z), xyz(A,B)), L),
flatten(L,F), sort(F,J), reverse(J,Y); Y = [].
通过查询xyz(a,X)，我获得了预期的输出X = [e,d,c,b].。
怎么可能把这个扔了？这与排序函数有关吗？如果是这样的话，根据下面链接中的文档，alpha或数字优先顺序可能会将其抛出，但cs
浏览 5提问于2015-03-09得票数 0
回答已采纳
2回答
当我试图在图中查找所有/3个可能的路径时，我得到了重复的列表？你知道代码出了什么问题吗？重复模式为S:6与S:13重复，S:7与S:14重复，S:8与S:15重复，依此类推。
co(X,Y) :- hen(X,Y) ; hen(Y,X).
pan(A, B, _, [A,B]) :- co(A, B).
pan(A, B, Vix, [A | Len]) :-
co(A, C),
C \== B,
\+ member(C, Vix),
pan(C, B, [C | Vix], Len).
long_p(A, B):-
findall
浏览 1提问于2011-10-19得票数 1
我在SLURM脚本中运行诸如: ifconfig、sminfo之类的命令，但是这些命令没有执行并返回错误:如果我检查输出文本文件，命令not和空输出。如果我尝试一些命令，比如: ls，hostname；它们运行得很好。我尝试手动执行脚本--它正在工作，命令: sminfo、ifconfig运行良好。
有什么问题?？
我的剧本：
#!/bin/bash
echo "==Pre job==:"
work_dir=`scontrol strong textshow job $SLURM_JOBID | grep ' WorkDir' | awk '{pri
浏览 2提问于2017-07-25得票数 2
回答已采纳
1回答
假设您有一个二进制搜索树：
t (73, t (31, t(5,nil,nil), nil), t (101, t (83, nil, t(97,nil,nil)), t(200,nil,nil)))
即：
73
/ \
31 101
/ / \
5 83 200
/
97
我需要编写一个谓词子树(X1，X2，T)，它将从树(X1和X2)中获取2值，并为
浏览 2提问于2016-02-18得票数 0
1回答
我正在研究Prolog中的以下问题：
五名病人，都做了血液测试，在医生的手术中等待，从左到右坐在长凳上，最左边的位置是第一位。确定每个病人的位置，以及她或他的血型、年龄、身高和体重。他们的年龄分别是5岁、9岁、30岁、46岁和60岁。他们的身高分别是40、48、60、65和74。它们的重量分别是40、75、96、125和165。
最右边的人比莱拉大37岁，身高60英寸。
莱拉比她的身高重56磅。
爱丽丝重75磅，身高74英寸。
阿里是AB型，体重比莱拉轻56磅。
中心内的人9岁，AO血型，体重96磅。
亚当是第一个，身高65英寸，体重比他高100磅。
O型血的人比左
浏览 2提问于2016-10-11得票数 0
1回答
我已经成功地拼凑了一个脚本，它遍历所有的链接并将它们显示给我，但是我似乎不明白为什么有一个链接，整个脚本循环到无穷大。如果您删除下面的链接，程序将工作；
link(f,c).
下面是完整脚本的代码；
link(a,b).
link(a,b).
link(b,c).
link(c,d).
link(f,c).
link(b,e).
link(d,e).
link(e,f).
path(X,Y,[X,Y]):-link(X,Y).
path(X,Y,[X|R]):-link(X,Z),path(Z,Y,R).
route(X,Y,T):-find_route(X,Y,[],T).
find_r
浏览 2提问于2014-12-08得票数 0
回答已采纳
我正在做一个家庭作业的问题，我认为我已经非常接近，但我不太清楚如何让我的程序返回列表，而不是递归删除它在返回。
代码旨在检查给定的事实，并试图确定目标人员是否因办公室发生的相关疾病而生病。每个人在与病人接触后7天内都具有传染性，我们希望从给定的起始人返回包含可能的感染途径的列表。
代码中的my员具有与成员相同的功能。
我的代码是
mymember(X, [X|_]).
mymember(X, [_|Z]) :-
mymember(X,Z).
met(john,28,mary).
met(john,3,mary).
met(peter,21,john).
met(mary,23,mark).
浏览 0提问于2021-11-30得票数 0
回答已采纳
1回答
不需要回答了。已经完成了。谢谢！
a(S,E,[S|R]) :- S\=E,(c(S, N);c(N,S)),a(N,E,R),\+member(S,R).
a(X,X,P):- P=[X].
上面的代码导致了本地堆栈问题，有人能告诉我如何修复吗？谢谢。
浏览 2提问于2015-12-02得票数 2
回答已采纳
1回答
我在尝试使用时遇到了很大的困难
我有一些代码，试图调用prolog命令，问题是实际加载我的prolog数据库。代码如下：
myEngine = new NativeEngine();
myEngine.consultFromPackage("userlist.p", LoginHandler.class);
boolean x = myEngine.deterministicGoal("has_access(user,pass)");
当我运行程序prolog初始化正常时，它试图查找在同一个包(第二行代码)中的userlist.p，然后抛
浏览 0提问于2010-02-13得票数 0
回答已采纳
1回答
我在这件事上浪费了一整天，却找不到解决方案。由于谷歌不提供任何其他类似的问题，我确信我一定做错了什么。 我在Windows10上安装了全新的swi-prolog 8.2.3.1。我确保选择了图形选项。在主swipl文件夹中有一个xpce文件夹。当我尝试将xpce lib加载到prolog中时，我得到以下错误： ?- [library('pce')].
ERROR: source_sink `library(pce)' does not exist
ERROR: In:
ERROR: [20] throw(error(existence_error(source_s
浏览 31提问于2020-12-20得票数 2
回答已采纳
我试图在我的Linux机器上运行一个简单的gprolog，GNU是从Ubuntu安装的。
从中我得到了以下示例，存储在HelloWorld.pl中。
parent(hank,ben).
parent(hank,denise).
parent(irene,ben).
parent(irene,denise).
parent(alice,carl).
parent(ben,carl).
parent(denise,frank).
parent(denise,gary).
parent(earl,frank).
parent(earl,gary).
grandparent(X,Z):-parent(
浏览 4提问于2014-03-15得票数 5
回答已采纳
1回答
我正在寻找一个电子资源(书，文章，网站)在Prolog上，清楚地列出逻辑/数学基础，明确说明什么是统一，匹配算法，回溯算法，SLDNF分辨率，切割，……都在一个清晰一致的包裹里。这种资源假定熟悉一阶逻辑，这是很好的(甚至是首选的)。它不需要进入应用程序，因为我已经在这方面获得了另一个。
我正在读的这本书做出了一个令人遗憾的决定，忽略了数学，而只是模糊地定义了这些术语和过程，而剩下的许多其他细节也只是模糊地定义。
浏览 4提问于2022-05-21得票数 0
回答已采纳
2回答
我有以下简单的图表：
X<-->y<->z
edge(x,y).
edge(y,z).
path(Start,End,Path) :- % path/3: there is a `Path` from `Start` to `End`
path(Start,End,[Start],Path).
path(End,End,RPath,Path) :- % internal helper predicate `path/4`
reverse(RPath,Path).
path(Start,End,Visited,P
浏览 0提问于2013-05-20得票数 1
我目前正在尝试设置interprolog(请参阅)，并且我已经按照网站上的步骤进行了操作，但现在我想知道如何使用eclipse ide中的interprolog类？我需要将类导入到我的项目中才能使用interprolog吗？我该如何着手去做呢？
谢谢
浏览 1提问于2009-12-03得票数 3
回答已采纳
4回答
我现在正在配置JPL，并且想使用java来使用swi-prolog。
我下载了SWI-Prolog的最新稳定版本，它是6.2.0，并安装在D:\swipl
首先，我将以下路径添加到可访问路径: D:\swipl\bin，它应该包含所有需要的dll文件。
然后，我将以下路径添加到CLASSPATH virable: D:swipl\lib\jpl.jar，这应该是所需的jar文件。
当我尝试运行提供的版本示例时，我得到了以下错误：
Exception in thread "main" java.lang.UnsatisfiedLinkError: jpl.fli.Prolog.t
浏览 3提问于2012-09-05得票数 2
回答已采纳
我不确定这里是否适合问这个问题：
我正在尝试运行一个prolog文件，该文件使用prolog库。因此，它在开头的某个位置有以下几行：
:- use_module(library(delay)).
启动该文件时，Prolog告诉我
source_link `library(delay)` does not exist
Goal (directive) failed: atoms:use_module(library(delay))
所以我想，也许我需要手动安装那个库，首先。所以我运行了?- pack_install(delay)
但那又回来了
% Contacting server at htt
浏览 1提问于2020-04-06得票数 0
回答已采纳
1回答
你好，有人能帮我理解一下这段代码是如何工作的吗？
go(Start,Dest,Route):-
go0(Start,Dest,[],R),
rev(R,Route).
go0(X,X,[X|T]).
go0(Place,Y,T,R):-
legalNode(Place,T,Next).
go0(Next,Y,[Place|T],R)
legalNode(X,Trail,Y):-
(a(X,Y);a(Y,X)),
legal(Y,Trail).
浏览 0提问于2010-12-14得票数 0
回答已采纳
我可以下载的文件，因为某种原因，我得到一个“内容是不允许在prolog。”错误。
我使用的是IntelliJ IDEA 2021.1.3 (终极版)
这就是我的build.gradle.kts的样子：
val ktor_version: String by project
val kotlin_version: String by project
val logback_version: String by project
plugins {
application
kotlin("jvm") version "1.5.21"
}
group
浏览 5提问于2021-07-18得票数 0
resolve(K, K, _) :- writeln('finished'). %goal state
resolve(CurrentState, GoalState, Path) :-
suc(_, CurrentState, NextState, GoalState),
append(Path, [CurrentState], NextPath),
resolve(NextState, GoalState, NewPath).
我目前有这个算法，它的工作方式应该是这样的。我是这样运行它的：
resolve(0, 10, Path).
我确信算法运
浏览 0提问于2010-10-06得票数 3
回答已采纳
1回答
我想打印有向图中节点的路径。这段代码对某条边工作正常，但对整个路径不起作用。当涉及到path时，它返回false。这是我的代码，但它只运行了一个边缘，而不是整个路径。请帮帮我。
下面是我的代码：
path(Node1, Node2, X) :-
edge(Node1, Node2),
append([Node1], [Node2], X).
path(Node1, Node2, X, N) :-
edge(Node1, SomeNode),
append([Node1], [SomeNode], X),
path(SomeNode, Node2, X, N),
appe
浏览 5提问于2014-04-20得票数 3
1回答
嗨，我有个问题
我有一个无向图
我以节点(名称、路径)的形式列出了每个节点。其中具有多个路径的节点是节点(名称、pathName、路径)。//然而，路径可能与节点相交。
>node(giant,[sizePath]).
>node(large,[sizePath]).
>node(big,[sizePath]).
>node(a0,[numPath,alphabetPath]).
>node(1,[numPath]).
>node(2,[numPath]).
>node(3,[numPath]).
>node(b,[alphabetPath
浏览 1提问于2016-11-28得票数 0
我尝试了一本书中的一些基本示例，它出现了"Out of local stack“错误(我将在代码后面讲述更多)。代码如下：
edge(a,b).
edge(a,e).
edge(b,d).
edge(b,c).
edge(c,a).
edge(e,b).
tedge(Node1,Node2) :-
edge(Node1,SomeNode),
edge(SomeNode,Node2).
edge(X,Y) :- tedge(X,Y).
例如，我尝试编写query edge(a，b)，它返回true，然后我输入';‘，它就出错了。这里有什么问题？
浏览 4提问于2014-12-31得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
