如何在prolog中使用另一个规则中的规则
在Prolog中，可以通过使用另一个规则中的规则来实现递归和规则的嵌套调用。下面是一个示例：
假设我们有两个规则：rule1和rule2。我们想要在rule1中使用rule2。
rule2(X) :- X > 0, write('rule2 is called'), nl.
rule1(X) :- X > 0, write('rule1 is called'), nl, rule2(X-1).在上面的示例中，rule1和rule2都接受一个参数X。当X大于0时，它们会被调用。在rule1中，我们通过调用rule2(X-1)来使用rule2。这样就实现了在一个规则中使用另一个规则。
要在Prolog中使用另一个规则中的规则，只需在规则的定义中调用该规则即可。在上面的示例中，我们在rule1中调用了rule2。
这是一个简单的示例，实际应用中可能涉及更复杂的规则和逻辑。但是，基本的原理是相同的：通过在规则定义中调用其他规则来使用它们。
关于Prolog的更多信息和学习资源，您可以参考腾讯云的云计算产品Prolog介绍链接地址：Prolog产品介绍。
相关·内容
2回答
你好，我试着写像一样倒计时的递归
prolog语言
我试着像这样做一些代码：
down(Y,X):- Y>0,K is Y-1,down(K,X).
但它的返回值是“false”。我不知道为什么它返回布尔结果...它需要将K值插入到X中。和一般如何做一个递归，一直返回某个数字…
我需要做什么？
tnx很多
浏览 1提问于2015-12-22得票数 3
1回答
我仍然在弄清楚prolog的真正工作原理，并试图开发一个带有if语句的小测试程序，但无法真正获得我需要的值。
prog(Sx,Sy) :-
Sx > 0 ->
update(Sx,10,S1), update(S1,10,S2), prog(S2,S2) ;
Sy.
update(S,V,RES) :-
RES is S-V.
我希望prog将Sy作为答案，而不是true，这样我就可以将其用作另一个谓词的参数。当条件为false时，此代码会给出一个错误，我尝试过这样做：
prog([],[],Sy).
prog(Sx,Sy)
浏览 3提问于2010-06-09得票数 2
回答已采纳
1回答
Prolog-遍历列表
、、、
假设我有了list Xs = [a,b,c].，现在我想遍历所有元素，并为这个元素调用另一个函数。我的问题是:如何使用head和tail来做到这一点？如果能帮上忙我会很感激的。
浏览 0提问于2015-06-12得票数 8
回答已采纳
1回答
我目前正在学习逻辑编程，并学习这种情况下的Prolog。
我们可以有一个Knowledge Base，它可以引导我们找到一些results，而Prolog会进入无限循环，因为它扩展谓词的方式。
假设我们有以下logic program
p(X):- p(X).
p(X):- q(X).
q(X).
查询p(john)将进入无限循环，因为默认情况下，Prolog扩展了统一的第一个谓词。但是，我们可以得出结论，如果我们开始扩展第二个谓词，那么p(john)是正确的。
那么，为什么Prolog不扩展所有匹配的谓词(像线程/进程模型一样用时间片实现)，以便在KB能够完成某项任务的情况下得出结论？
例如
浏览 0提问于2015-04-29得票数 3
回答已采纳
2回答
我有一个充满事实的数据库，如下所示：
checkpoint(checkpoint1,checkpoint2,2).
checkpoint(checkpoint2,checkpoint3,3).
checkpoint(checkpoint3,checkpoint4,4).
checkpoint(checkpoint4,checkpoint5,2).
checkpoint(checkpoint5,checkpoint6,2).
例如检查点(第一个检查点，第二个检查点，时间以分钟为单位)。
然后，下面的规则测试在比赛中两个检查点之间是否可以进行旅行：
journey(X,Y):- checkpoin
浏览 5提问于2012-01-15得票数 1
2回答
我正在尝试用prolog写一些dcg语法，它将描述
a^nb^n n>=0
"",ab,aabb,aaabbb itd
我所写的都是
s --> slowo.
slowo --> [a],slowo,[b],!.
slowo --> [].
只要我想做的就是检查单词是否正确，这是很好的，但是?-phrase(s,X)的dcg语法应该如何从我的语言生成所有的单词？
浏览 0提问于2012-03-26得票数 1
回答已采纳
1回答
我正在尝试编写一个规则，以便使用递归表示0或更多: EBNF中的规则如下：
translation_unit
=> external_declaration { external_declaration}
我的猜测如下：
translation_unit(Xs0,Xs) :-
[external_declaration|Xs].
此外，我还想在另一条规则中表示可选性，该规则如下：
declaration_specifiers_next
a. : ε
b. | declaratio
浏览 2提问于2015-05-03得票数 0
3回答
这是一个基本的Prolog问题。我正在努力实现这样非正式表达的推理：
x(X)为真的(必要的但不充分的)条件是a(X)和b(X)必须成立。我们知道x(玛丽)。这些条件必须成立x(玛丽)的情况。情况就是这样。因此，a(mary)和b(mary)都是真的。
下面的代码显然不符合我的想法：
a(jim).
b(jack).
x(X) :- a(X), b(X).
x(mary).
如果我现在问一个(玛丽)，Prolog回答为否。
我很确定我能理解为什么会这样。我只是不知道如何正确地实现我想要的。
更新：
对上述示例进行了简化。在我正在研究的实际问题中，a和b是交织在一起的。而不是x(X) :- a(
浏览 3提问于2017-07-18得票数 1
回答已采纳
1回答
Prolog递归溢出
、、、
fact(1,1):-!.
fact(N,F):-
N1=N-1,
fact(N1,F1),
F=F1*N.
它会导致堆栈溢出(而不是站点)！它不应该是因为切割(！)。它能在SWI-Prolog中工作吗？
浏览 0提问于2011-06-22得票数 1
回答已采纳
下面的示例采用了3个参数L1、L2、L3和L3中的L1和L2 (验证L3是L1和L2的连接)
我有这样的代码(很好用)：
myappend([], L, L).
myappend([X|L1], L2, [X|L]) :- myappend(L1,L2,L).
事实是基本情况，如果第一个列表是一个空列表，那么第一个列表与第二个列表的连接就是第二个列表。
好的，这是clear...the规则对我来说很清楚(但一点也不)，我可以认为这个规则是谓词，用来测试第一、第二和第三次参数是否有第一次和第二次级联的关系是第三个参数。
好的，我试图用扩展的形式表示前面的代码，其中我有这个规则的主体，它代表了之前
浏览 0提问于2012-12-20得票数 1
回答已采纳
我试图定义一个操作符=>>，它检查它的一个操作数是否是另一个操作数的两倍。
我已经试过了：
:- op(200, xfy, =>>).
=>>(L, R) :- double(L, R); double(R, L).
double(L, R) :- L is R * 2.
但在RPEL中使用时，我得到了：
?- (-8) =>> (-4).
true ;
false.
%^^^^ note here
?- 7 =>> 3.
false.
?- 40 =>> 20.
true ;
false.
%^^^^ not
浏览 4提问于2015-08-07得票数 7
回答已采纳
1回答
我一直在试图理解，在特定的上下文中使用Prolog优于Datalog是否有很大的优势。Prolog是图灵完整的，而Datalog不是。但是，使用Prolog还有其他实质性的优势吗？
例如，特定的上下文可以是关系数据库.使用Prolog或Datalog更好吗？
浏览 5提问于2015-10-25得票数 0
3回答
我正在写一个关于道路的程序...
例如，我有road(1, a, b, 2) (从a到b的1号道路占用2个单位的燃料)。关键是，如果我有road(1, a, b, 2)，我也必须有road(1, b, a, 2)，但如果我使用一个，我就不能使用另一个，否则程序将循环。
我该怎么写，这样如果程序使用了这个事实，它就不能使用另一个事实了？
浏览 0提问于2011-11-28得票数 3
我用prolog语言写了这个程序。问题是我不能理解它是如何工作的。
even_number([],[]).
even_number([H|T],S):-even_number(T,W),Z is H mod 2,Z==0,S=[H|W].
even_number([_|T],S):-even_number(T,S).
它所做的一切就是从一个列表中提取偶数并将其存储到另一个列表中。我知道它使用递归工作，但我不能理解执行过程中的步骤。有谁能解释一下吗？
浏览 1提问于2011-05-26得票数 2
目前正在使用Prolog...我在摸索计数列表规则时遇到了麻烦。我在任何地方都找不到好的解释。有人能在每次递归时给我一个分解吗？
count(0, []).
count(Count, [Head|Tail]) :-
count(TailCount, Tail),
Count is TailCount + 1.
一个地方说它是递归的(这对我来说是有意义的)，另一个地方说它不是。
浏览 3提问于2011-11-19得票数 1
回答已采纳
1回答
假设我有一个包含以下内容的文件main.pl
/* I tried these one at a time, not all at once... */
[externalFile].
['externalFile'].
['externalFile.pl'].
['./externalFile.pl']./*this was an answer to a similar SO question*/
consult(externalFile).
/*... etc ...*/
现在让我们用它..。
$ swipl -l externalFile.
浏览 0提问于2017-09-19得票数 3
回答已采纳
1回答
(这不是一个课业问题。这只是我个人的学习。)
我正在尝试用Prolog做一个从列表中删除元素的练习。下面是我的代码：
deleteall([],X,[]).
deleteall([H|T],X,Result) :-
H==X,
deleteall(T,X,Result).
deleteall([H|T],X,[H|Result]) :- deleteall(T,X,Result).
当我测试它时，我首先得到一个好的答案(即。删除了所有的X。)但是回溯为我提供了列表的所有其他变体，删除了X的一些实例或没有实例。
为什么会这样呢？为什么H==X总是会跳到最后一个子句呢？
浏览 1提问于2011-06-22得票数 5
回答已采纳
因此，基本上，我试图在rule的中间检查是否满足某些条件，但条件取决于另一个变量。
在我的例子中，如果Num1是10，那么Num2就不能是1--如果它是1，那么失败，如果Num1是20，那么Num2就不能是2。
这是我想出来的
do_function(Num1, Num2):-
write('first'),
((Num1 = 10, Num2 \= 1); (Num1 = 20, Num2 \= 2)),
write('last').
它使用的query：
?- do_function(20, 1).
firstlast
true.
但
浏览 0提问于2018-11-19得票数 0
回答已采纳
1回答
我有一个项目列表，它在一个方法中。我使用另一种方法来调用列表，但我不想在该方法中输入列表。我该如何解决这个问题呢？
foo([a,b,c,d,e]).
hi:- read(X),member(X,[a,b,c,d,e]).
?- hi.
|: a.
true.
我想使用foo(X)更改go(X)中的列表，但它不起作用。我知道foo(X)返回a，b，c，d，e。
foo([a,b,c,d,e]).
hi:- read(X),member(X,foo(X)).
K
浏览 0提问于2017-11-12得票数 0
我有一个任务要拼贴，为所有Sublist的List构建一个关系List，这样Sublist中的成员的顺序与List中的成员的顺序相同。例如：
?- sub(X, [1,2,3]).
满足于
X=[1,2,3];
X=[1,2];
X=[1,3];
X=[1];
X=[2,3];
X=[2];
X=[3];
X=[].
我构建了这个关系，当我查询?- sub(X, [1,2,3]).时，我只得到以下X作为响应，这是List的前缀子列表
X=[];
X=[1];
X=[1,2];
X=[1,2,3].
但是，当我将?- sub([2], [1,2,3]).或[1,2,3]的任何其他子集作为Subs
浏览 2提问于2018-06-16得票数 0
回答已采纳
1回答
我需要找到一种方法将解析树传递给另一个具有不同顺序的解析树。它适用于具有SVO和SOV两种语言的机器翻译项目。
t1 = s(np(n(he)), vp( v(went), np(n(home))))
我希望它成为
t2 = s(np(n(he)), vp( np(n(home)), v(went)))
根据表示t1的规则，t2表示SVO语言，t2代表SOV语言体系结构。
规则集应适用于带有形容词和副词的复句。
t1 = s(np(n(he)), vp( v(went), np(adj(his), n(home))))
t2 = s(np(n(he)), vp( np(adj(his), n
浏览 3提问于2013-10-25得票数 5
回答已采纳
我在学习prolog。我想知道如何在prolog中代表以下事实？
“someCityA和someCityB之间有300英里”。有人帮忙，我已经找够了，但找不到解决我的具体问题的办法。
浏览 2提问于2014-11-22得票数 1
回答已采纳
2回答
我想知道是否可以测试谓词是否已经存在(具有相同的信息)，从而避免用户能够再次输入相同的信息。
我已经为一个谓词做到了这一点：
:- dynamic(test/2).
test(a,b).
top(X,Y) :-
(test(X,Y),
write('Yes'),!
;write('No'),!
).
这个版本运行得很好，如果信息已经存在，则返回“Yes”，如果不存在，则返回“No”。
我想知道是否有可能对多个前缀执行此操作，而不仅仅是'test/2'；我曾尝试将谓词'test‘替换为变量Pred，但不
浏览 18提问于2017-02-06得票数 1
回答已采纳
2回答
lookup([(X,A)|_],X,A).
lookup([_|L],X,A) :- lookup(L,X,A).
hi(_,t,bool).
hi(_,f,bool).
hi(g,var(X),Y) :- lookup(g,X,Y).
hi(_,in(X),int).
hi(_,fl(X),real_exp).
hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!.
我在Prolog中有上面的代码行，它基本上是检查加法操作的类型。
因此，当我在终端上有以下查询时：
hi([],plus(in(1),in(2)),T)
浏览 4提问于2011-05-05得票数 0
回答已采纳
我一直试图了解如何从回溯的Prolog谓词中生成一系列值。内置谓词between/3将在回溯时一次生成一个范围内的所有整数，因此如何编写该谓词的示例可以帮助我完成任务。
我在现有的Prolog系统中寻找一个实现，但是GNU的between/3实现是一个C函数，其中的诀窍是它调用另一个C函数"Pl_Create_Choice_Point“，它允许它在回溯时产生额外的值。
浏览 2提问于2013-08-20得票数 14
回答已采纳
在prolog中，有可能强制失败吗？类似于：
check(F,A,[1,2,3]) :- FAIL.
check(F,A,_) : greater_than(F,A).
这可能是一个不好的例子，但大致如此。
因此，如果它在F，A,1,2,3上进行模式匹配，那么我们只需停止who统一过程，并返回false。
浏览 3提问于2013-04-03得票数 0
我试着在Prolog中做一个平均谓词，但是我面临一些问题，
它叫做平均(N，X)，N是一个数，X是从1到N的平均值的结果。
我试过这样做，但它并不总是很好：
average(1,1).
average(N,X) :- K is N-1 ,K>1 , average(K,S1) , X is /(+(S1,N),N).
average(N,X) :- K is N-1 ,K=:=1 , average(K,S1) , X is +(S1,N).
有人帮忙吗？
浏览 1提问于2017-06-09得票数 2
回答已采纳
我想在prolog中定义以下规则：
当X渴的时候，X应该去酒吧。
之后，我会问prolog thirsty(X)和prolog应该还回去(吧)
我试过以下方法：
go(Y).
thirsty(X) :- go(bar).
但当我用
thirsty(bob).
结果只会是true。有人能帮我做些什么才能得到go(bar)吗？
浏览 2提问于2017-03-05得票数 1
回答已采纳
1回答
请帮帮我!我不理解SWI-Prolog
从列表L1到列表L2，另一个元素等于列表L1中接下来的三个项目的算术平均值。如果L1元素的数量不能被3整除，则通过将一个或两个最近项目列表L1的和除以3来获得列表L2中的最后一个项目。提示屏引入List L1。因此，程序应该输出输入L1和L2结果列表。
列表项可根据要求提供。
浏览 3提问于2012-11-15得票数 1
回答已采纳
1回答
我想知道@<在Prolog中意味着什么？在阅读有关桥和火炬问题的文章时，我在这一行代码中遇到了这个符号：
select_one_or_two(L, [Sel1,Sel2], L2) :-
select(Sel1, L, NewL),
select(Sel2, NewL, L2),
Sel1 @< Sel2.
浏览 4提问于2014-01-24得票数 7
回答已采纳
这个问题是这样写的：“编写一个Prolog程序，找出数字列表中的最大值。”
我已经使用互联网的力量来帮助找到一个有效的解决方案，但我想对程序本身有一个了解。
max_num([X],X).
max_num([X|Y],X):- max_num(Y,Z), X >= Z.
max_num([X|Y],A):- max_num(Y,A), A > X.
Line1：
max_num([X],X).
我知道Line1正在定义问题的基本模板。X定义列表，另一个X表示该列表中的最大值。
Line2：
max_num([X|Y],X):- max_num(Y,Z), X >= Z.
这就
浏览 0提问于2016-04-06得票数 0
1回答
我需要在prolog中的字符串两边加上“”。我从另一个程序获得输入，看起来我不能在这个程序中转义“，所以我必须在prolog中添加”，否则prolog语句不起作用。
谢谢你的帮忙!
浏览 0提问于2014-10-22得票数 2
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中有以下数据库。
person(fred).
person(bob).
person(alice).
alias(fred,"Frederick the Great").
alias(bob,"Spongey").
现在，我希望能够搜索别名，但在没有可用的别名时将原始名称恢复为默认名称。
例如：要获得
fred, "Frederick the Great"
bob, "Spongey"
alice, alice
背
我的第一个尝试是为别名谓词添加另一个子句。
alias(X,X).
但这给了我
fred,&#
浏览 24提问于2019-07-26得票数 1
1回答
我最近遇到了Prolog，我对它的力量和能力感到惊讶。我想知道prolog是否有可能根据SQL Server中的数据进行预测。
数据库
Day Weather Taken out Umbrella
Monday Cloudy Yes
Tuesday Sunny No
Wednesday Rain Yes
Thursday Sunny No
Prolog可以在数据库中使用这些数据并进行预测吗？
浏览 2提问于2015-06-24得票数 1
回答已采纳
2回答
我对Prolog很感兴趣。我正在尝试编写一个zip函数。问题是这样的。
zip(L1, L2, X)：列表X是通过“压缩”前两个参数形成的。
结果应该是这样：
?- zip([a, b, c], [x, y, z], X).
L = [a, x, b, y, c, z]
?- zip([a, b], [x, y, z], X).
false
?- zip([a, b, c, d], X, [a, p, b, q, c, r, d, s]).
X = [p, q, r, s]
到目前为止，我已经这样做了。我可以得到第一，第三，但不是第二的结果。有人能帮我解决第二个问题吗？谢谢
zip([X],[
浏览 4提问于2014-04-04得票数 3
回答已采纳
2回答
有没有办法在prolog中定义常量？
我想写这样的东西
list1 :- [1, 2, 3].
list2 :- [4, 5, 6].
predicate(L) :- append(list1, list2, L).
我现在使用的变通方法是
list1([1, 2, 3]).
list2([4, 5, 6]).
predicate(L) :-
list1(L1),
list2(L2),
append(L1, L2, L).
但是每次我需要访问常量时，绑定一个像这样的“无用”变量就有点笨拙了。
我想另一个(甚至更丑陋的)变通方法是在构建链中包含cpp。
(在我的实际应
浏览 2提问于2010-06-28得票数 14
回答已采纳
2回答
我对prolog还不熟悉，我就是搞不懂。
我试图构建一个简单的程序，该程序接收谓词列表，搜索列表中的特定谓词，并将函数应用于该谓词的参数。
类似于这样的东西：
?- program([pred1(a,b,p), pred2(d,b,p), pred2 (a,c,p)]).
program (list1) :-
search(pred2(X,Y,p),list1).
doSomething (X,Y) % with the X and Y returned from search function, both of them.
基本上，我希望使用从目标search(pred2(X,Y,p)
浏览 0提问于2010-06-04得票数 2
回答已采纳
1回答
我正在尝试理解Prolog中的递归，但它肯定与PHP、Java和C等其他语言中的递归不同。我一直在阅读有关它的所有教程，但我仍然没有得到具体的、相当复杂的案例。
例如，为了获取列表中元素出现的次数，我们有：
occurrence([], _, 0).
occurrence([H | T], H, N) :- !, occurrence(T, H, N1), N is N1 + 1.
occurrence([_ | T], H, N) :- occurrence(T, H, N).
它可以使用以下方法调用：
occurrence([1,4,9,1,2],1,R).
其结果应该是：
?- R=2
浏览 2提问于2014-04-29得票数 0
回答已采纳
2回答
为了确定这只动物是斗牛犬，我有以下谓词：
bulldog(X):-
body(X,muscular),
weight(X,heavy),
face(X,wrinkled),
nose(X,pushed-in).
如果我有一只狗，就叫它“菲菲”，还有以下事实：
body(fifi,muscular).
weight(fifi,heavy).
face(fifi,wrinkled).
nose(fifi,pushed-in).
当我输入以下语句时：
bulldog(fifi).
它将返回true。
现在假设我有另一只斗牛犬"fofo“和下面的谓词：
bull
浏览 1提问于2011-12-12得票数 2
回答已采纳
1回答
我正在读一个教程，我发现很难理解如何递归一个单独的列表。谁可以给我一个简单的解释，基本情况必须是什么，为什么，以及在递归中要做什么。我的代码是：
type(string).
type(int).
instance(X,Y):- X, Y.
variable(_).
statement([]).
statement(A|B):- A, statement(B).
代码的目的是创建一个轻量级类型检查器来检查如下内容：
String s; int i; i = s.length();
我通过了这项测试：
statement([instance(type(string), variable(
浏览 0提问于2012-05-01得票数 1
回答已采纳
当[X2,Y2]是[X1,Y1]的邻居时，我有一个is_adjacent([X1,Y1], [X2,Y2])子句，它是真的。如果我问is_adjacent([2,2], [X,Y])，我会得到所有可能的结果(四个)，在本例中：
is_adjacent([2,2],[X,Y]).
X = 2,
Y = 3 ;
X = 3,
Y = 2 ;
X = 2,
Y = 1 ;
X = 1,
Y = 2.
我想在另一个子句中使用此行为：
anotherClause :-
is_adjacent([2,2],[X,Y]),
[to be continued...].
现在，我如何能自动处理所
浏览 0提问于2013-04-18得票数 0
我试着写一种语法来产生表象。如果我不设置深度限制，递归将抛出最后一个变量，并变为无穷大。我不知道如何限制树的深度分支递归。
我试试看：
constant('c1').
variable('v1').
operator('+').
expresion(C) :- constant(C).
expresion(V) :- variable(V).
expresion(bin(E1,O,E2)) :-
expresion(E1),
operator(O),
expresion(E2).
expresionL(C, 0)
浏览 3提问于2021-04-24得票数 0
回答已采纳
1回答
我的老师给了我以下在prolog中实现逻辑not的规则：
not( X ) :- X, !, fail.
not( _ ).
不过，我真的很难理解。我有点理解!的意思是剪切，但对于这在这个场景中是如何工作的，以及第二行试图实现的目标，我感到很困惑。有人能帮我理解一下吗？
浏览 1提问于2018-03-18得票数 1
回答已采纳
我正在阅读，但我在运行以下谓词时遇到了问题：
SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007
| ?- woman(mia).
! Existence error in user:woman/1
! procedure user:woman/1 does not exist
! goal: user:woman(mia)
| ?-
另一方面，如果我将它写到一个文件中，并运行参考该文件，它似乎工作得很好……
是否只允许我在文件中定义谓词，以便稍后参考它们？难道我不能直接在编辑器中做吗？
浏览 1提问于2011-09-07得票数 7
回答已采纳
2回答
为了更好地理解prolog、列表和递归，我正在努力完成分配给自己的各种简单任务。其中包括从列表中删除重复条目。
我定义了一个规则：
is_on(Item, [Ah|At]) :- Ah = Item; is_on(Item, At).
这将检查“Item”是否在列表X上。所以我想我可以扩展它来定义一个filter_double谓词：
filter_doubles([Ah|At], Result) :-
(not(is_on(Ah, At)) ->
Result = [Ah|Result]
;
filter_doubles(At, Resul
浏览 0提问于2011-03-07得票数 2
回答已采纳
我正在实现一个程序，它需要在"Prolog“查询中添加事实。但我不知道该怎么做。例如:在我的"Prolog“数据库中，我有一个规则：
engineer(X) :-
employee(X,department_a).
现在我想检查jack是否是一个工程师，所以查询是：engineer(jack).
要使查询成功，数据库中应该有一个事实为：employee(jack,department_a).。但是，在我的程序中，我不想在数据库中添加(或断言)这个事实，因为我正在处理的程序是一个分布式系统，所以jack所属的部门对数据库来说是未知的。换句话说，我正在寻找某种方法，可以使p
浏览 3提问于2014-12-05得票数 1
我正在制定时间表。给[t,t,t,f,t]和[f,f,t,f,f]。我想要有以下功能
and(L,[t,t,t,f,t],[f,f,t,f,f]).
L = [f,f,t,f,f].
我知道如何实现和运算符的2元素。但我不知道如何实现列表版本。
这就是我已经做过的
available(Z,X,Y):- Z = t, X = t, Y = t.
available(Z,X,Y):- Z = f, X = f.
available(Z,X,Y):- Z = f, Y = f.
浏览 7提问于2015-10-29得票数 0
回答已采纳
我用CHR (约束处理规则)在Prolog SWI中创建了几个解谜器
一切都很好，但是，我喜欢测试哪个求解者是最好的。因此，我喜欢找出，哪个求解者使用最少的回溯量。
有没有一个聪明的方法来找出(或打印出来)，解决者需要的回溯量来解决一个特定的谜题？
从逻辑上讲，计数是有帮助的，但它不会->回溯！<--。另外，由于SWI的GUI，在屏幕上打印新行是无效的。您不能打印超过+/- 50行，并且不能正确选择
浏览 3提问于2014-05-30得票数 4
1回答
我已经尝试解决以下问题一段时间了，但似乎找不到正确的解决办法。
假设有一个函数测试(X，Y，Z)，使得X是一对数字，Y是对的列表，Z是传递对的结果列表。
例如：
test((1,5), [(7,3),(5,2),(5,9)], Z).
Z = [(1,2),(1,9)]
(因传递性1->5->2及1->5->9)
到目前为止，我已经成功地创建了以下代码：
test(_,[],_):- false.
test((X1,C),[(C,Y2)|_],(X1,Y2)).
test((X1,X2),[_|YT],Result) :- test((X1,X2),YT,Result
浏览 0提问于2013-10-28得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
