prolog递归中的If语句
在Prolog递归中，没有像其他编程语言中的if语句那样直接的语法结构。Prolog使用模式匹配和规则匹配来实现条件判断的功能。
在Prolog中，我们可以使用多个规则来表示不同的条件，并根据输入参数的不同进行匹配。当满足某个规则的条件时，Prolog会执行相应的操作。
下面是一个示例，展示了如何在Prolog中实现条件判断：
% 规则1：如果X等于0，则输出"X是0"
rule(X) :- X = 0, write('X是0').
% 规则2：如果X大于0，则输出"X是正数"
rule(X) :- X > 0, write('X是正数').
% 规则3：如果X小于0，则输出"X是负数"
rule(X) :- X < 0, write('X是负数').
% 示例调用
?- rule(5). % 输出：X是正数
?- rule(-2). % 输出：X是负数
?- rule(0). % 输出：X是0在上面的示例中，我们定义了三个规则，分别用于判断X的值是否为0、大于0或小于0，并输出相应的结果。通过调用rule(X)，我们可以根据不同的输入参数X来执行相应的规则。
需要注意的是，Prolog是一种声明式的编程语言，它的执行方式与传统的命令式语言有所不同。在Prolog中，我们定义了事实和规则，然后通过查询来获取结果。因此，条件判断的实现方式也与其他编程语言有所不同。
关于Prolog的更多信息，您可以参考腾讯云的产品介绍页面：腾讯云Prolog产品介绍。
相关·内容
我正在Prolog中编写一个Mastermind解算器(我使用SWI)作为大学需求的一部分。我从来没有用Prolog编程，所以请原谅，如果我可能没有使用正确的术语。
我在增加我的黑白计数器(代表有多少种颜色在正确的位置，多少种颜色在代码中但放错了位置)时遇到了问题。
我在网上找到了这个示例(完整代码)：
determine_blacks([],[],[],[],0).
determine_blacks([Color|Try],[Color|Code],ReducedTry,ReducedCode,s Black) :-
determine_blacks(Try,Code,Reduced
浏览 5提问于2015-12-13得票数 2
回答已采纳
我正在尝试生成一个列表，例如
[X1/1,X2/2,X3/3....Xn/N] with given N.
我尝试创建一个函数maketemplate(N,L)，它接受N并返回L列表和Xn/N项，其中Xn是第N个变量，N是一个整数。
作为一个更简单的例子，我最初尝试用给定的N创建一个[1,2,3...N]列表，但我甚至不能让它工作。
mysolution(L,N,N).
mysolution([I|Rest],I,N):-
I < N,
I is I+1,
mysolution(Rest,I+1,N).
我如何在prolog中模拟一个类似for循环的操作？
浏览 2提问于2016-05-30得票数 1
1回答
我尝试使用PROC LOGISTIC来计算DATA1数据的回归参数估计。我想使用PROC SCORE通过使用DATA1数据集中的参数估计来对DATA2数据集进行评分。
我知道它应该与PROC REG一起工作，但我有一个逻辑回归。
浏览 1提问于2016-05-13得票数 0
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
回答已采纳
给定表达式：(x*0+6)*(x-x+3+y*y)和值y:2，谓词应该只给出一个
解决方案(x*0+6)*(x-x+3+4).
当给定6*(3+x*x) and x:2时，它应该给出输出42。我已经写了几个小时的代码，我只能设法得到它的第二部分，.my代码发布在.can下面，有人帮我解决问题。
partial_eval(Expr0, Var,Val, Expr) :-
evaluate(Expr0,[Var:Val],Expr).
evaluate(Exp, LstVars, Val) :-
analyse(LstVars, Exp, NewExp),
Val is New
浏览 0提问于2017-09-21得票数 4
1回答
对于下面的递归函数，我不知道为什么输出是
[['c']]
[[['c']]]
如果输入是列表：
['a',['b',['c']]]
我认为输出应该是
[['c']]
[['b', ['c']]]
def rec(L):
if len(L)==1:
return
L.pop(0)
for elem in L:
rec(elem)
print L
return
浏览 2提问于2018-03-13得票数 0
下面是来自我的的查询，这在动态表中的SQL中执行。我怎么才能把这个递到桌子上？我的意思是sp_executesql @query中的select *。
我尝试了openrowset，但是我的安全特权不允许它。还有其他帮助吗？
谢谢,
Declare @cols as NVARCHAR(MAX), @query as NVARCHAR(MAX)
select @cols = STUFF((SELECT ',' + QUOTENAME(FIELD_NAME)
from bear_crossjoin
group by
浏览 2提问于2014-12-11得票数 0
回答已采纳
1回答
我试图使用DBCC来查看表上的页面信息。当我跑的时候
DBCC page (master, 1, 1, 0)
GO
我得到了
DBCC执行完成。如果DBCC打印错误消息，请与系统管理员联系。
在SSMS的消息窗口中。
我看不到DBCC的输出。我一定要递旗吗？
浏览 4提问于2014-09-15得票数 2
回答已采纳
问题说明如下： 在Prolog中，非负整数可以编码为由0及其后继(例如，数字s(0))编码的数字3)。 numeral(0).
numeral(s(X)) :- numeral(X). 定义当X和y是编码非负整数x和y使得x ?- less(0, s(0)).
yes.
?- less(s(s(0)), s(s(0))).
no.
我已经为这个问题想出了一个解决方案，但是，它受到了一个限制。以下是我的解决方案：
less(X, s(X)) :- numeral(X).
less(X, Z) :- less(X, Y), less(Y, Z).
此解决方案为满足此谓词的输入正确输出
浏览 28提问于2021-01-02得票数 1
我使用以下代码：
item(a, b, c).
item(a, a, c).
item(a, d, c).
item(a, c, b).
main:-
getItems(L),
writeln('-----------1-------------'),
writeln(L),
findall((A,B,C), item(A,B,C), M),
writeln('-----------2-------------'),
compareItem(M,L,I),
writeln('-----------
浏览 3提问于2016-07-04得票数 0
回答已采纳
我的一个递归函数有一些奇怪的行为，我不能完全弄清楚哪里出了问题。 def setGM():
global guild_master
guild_master = input('>>> Enter your name: ').strip()
# This statement is triggered by hitting enter to the guild_master input without typing anything, it calls setGM() again to force the user to set a name
浏览 17提问于2021-01-27得票数 0
我在库伯奈特的一个码头集装箱里有一项服务。它让https/tls通过入口递到容器中，然后通过http进入容器。我的问题是当在容器中运行的webApp返回资源的重定向或请求时，它返回的是http端点而不是https。
例如：
请求：
返回重定向：
有办法绕过这件事吗？
谢谢你的帮助。
浏览 1提问于2019-12-09得票数 1
回答已采纳
我正在尝试使用prolog将基10转换为基2--这是我的代码：
binary(X,B) :- X > -1 , tobin(B,X,1).
tobin(S,0,1) :- S is 0.
tobin(S,0,V) :- V>1 , S is 1.
tobin(S,X,V) :- X > 0 ,
X1 is X // 2 ,
V1 is V * 10 ,
tobin(S1,X1,V1),
S is X mod 2 ,
浏览 0提问于2017-12-20得票数 1
回答已采纳
1回答
我正在SWI-Prolog上创建一个文本冒险游戏，我想包括(某种类型的)对话框。
到目前为止，我所拥有的是：
dialog1(1):- nl,write('blah blah'),nl
write('a: this is answer a'),nl,
write('b: this is answer b'),nl.
a:- write('respond to answer a'),nl.
b:- write('respond to answer b'),nl.
浏览 2提问于2013-11-07得票数 1
我对Python还很陌生。我使用的是最新版本。我正在使用的代码如下：
def tts():
print('(0) Input a new list')
print('(1) Print the current list')
choice = int(input('Enter your choice: '))
if choice == 0:
newList = eval(input('Enter a new list of prices: '))
tts();
浏览 0提问于2014-02-17得票数 2
1回答
main函数中的值1是如何传递给if语句的，返回函数是如何与递归调用一起工作的？
#include <stdio.h>
#include <stdlib.h>
int identicalTrees(struct node* a, struct node* b)
{
if (a==NULL && b==NULL)
return 1;
if (a!=NULL && b!=NULL)
{
return
(
a->data == b->data &&
id
浏览 2提问于2014-07-20得票数 0
回答已采纳
我不能理解累加器和空洞之间的区别。
正式地：
Accumulators
*Use 2 arguments to organize the building of some
output structure
*One is for result so far
*One is for final result
Holes
*Use 2 arguments to organize the building of some
output structure
*One is for final result
*One for a hole in the final result where furth
浏览 0提问于2014-10-07得票数 0
2回答
递归函数行为
、、
方案1：
无法打印任何内容，甚至我们也传递了字符串的。
void reverse(char *s)
{
if(*s)
{
return reverse(s+1);
printf("%c",*s);
}
}
方案2：
作为精确的行为，它以相反的顺序打印字符串。
void reverse(char *str)
{
if(*str)
{
reverse(str+1);
printf("%c", *str);
}
}
有没有人知道，程序1的问题是什么？
我认
浏览 1提问于2014-11-26得票数 1
我正在寻找一个框架来提供层次状态机(HSM)的执行。
这些是框架的要求：
符合UML状态机语义(尽可能多)
支持至少
运行到完成语义
递阶状态
进出行动
过渡行动
卫兵
具有自定义参数的事件
是面向对象的，或者至少不禁止OO设计。
目标平台是一个具有操作系统的中到大型嵌入式系统.
您知道满足上述要求的框架吗？您的框架的优缺点是什么？
浏览 6提问于2010-09-20得票数 5
回答已采纳
2回答
这是在一位教授的演讲中举的一个例子：
append([ ], A, A).
append([A|B], C, [A|D]) :- append(B,C,D).
Build a list:
?- append([a],[b],Y).
Y = [ a,b ]
Break a list into constituent parts:
?- append(X,[b],[a,b]).
X = [ a ]
?- append([a],Y,[a,b]).
Y = [ b ]
我花了3个小时尝试去掌握它，但是我不能。在这张幻灯片之前，我对任何prolog概念都没有任何问题。没有提供进一步的解释，也没有
浏览 4提问于2012-09-28得票数 0
回答已采纳
2回答
我在Prolog中实现了以下power程序：
puissance(_,0,1).
puissance(X,N,P) :- N>0,A is N-1, puissance(X,A,Z), P is Z*X.
代码完成了应该做的事情，但是在正确的答案之后，它会打印“false”。我不明白为什么。我用的是。
浏览 5提问于2017-02-06得票数 0
回答已采纳
1回答
二进制搜索树插入错误
、、、
package array;
import java.util.Scanner;
class node<T>{
T data;
node<T> left;
node<T> right;
}
public class binarytree {
public static void main(String [] args){
node<Integer> root = null;
node<Integer> n = new node<>();
Scanner s =
浏览 5提问于2016-07-30得票数 0
1回答
我的任务是创建一个递归函数，该函数接受一个数字数组，并将其转换为到目前为止所有数字的累积和的数组，因此：
1，2，3，4，5变成1，3，6，10，15
这就是我想出来的：
#include <stdio.h>
int cumul(int tab[], int length, int ind) {
if (ind > 0) {
tab[ind] += tab[ind-1];
}
if (ind < length) {
cumul(tab, length, ind+1);
}
return 0;
}
浏览 1提问于2015-03-04得票数 2
回答已采纳
有四个篮子，每个篮子都有独特的颜色。我编写了一个prolog程序，根据一些事实和规则来判断颜色顺序。这是.pl文件：
iright(L, R, [L | [R | _]]).
iright(L, R, [_ | Rest]) :- iright(L, R, Rest).
nextto(L, R, List) :- iright(L, R, List).
nextto(L, R, List) :- iright(R, L, List).
myprogram(Data) :- =(Data, [_,red,_,_]),
\+nextto(red,blue,Data), % blue i
浏览 0提问于2012-11-21得票数 0
回答已采纳
1回答
我在我的一个程序中使用了各种函数。这是它的定义-
std::string GetMessage(const char *format,...)
现在我想给用户提供额外的可行性，提供简单的字符串是他想要的。类- GetMessage("Here is my message")
我在处理这样的输入时遇到了麻烦，输入变量很好。
我试过
val_list vl;
va_start(vl,format);
if(strlen(vl) > 1) // TO check if va list has any arguments.
但它有非常不一致的行为。
那么，谁能建议我更好地知道变
浏览 2提问于2013-12-13得票数 2
回答已采纳
1回答
假设我想要多个名为childTile的预置对象，它会养育另一个名为parentTile的预置对象。因此，每当parentTile旋转时，childTiles就会围绕parentTile旋转。
基本上这就是我所写的：
public GameObject childPrefab;
public GameObject parentPrefab;
void Update()
{
for(int i = 0; i < 10; i++)
{
GameObject clone = Instantiate(childPrefab, /*PsuedoCode: random po
浏览 0提问于2015-06-20得票数 3
回答已采纳
1回答
我想知道这到底是什么意思？
pred(_):-fail.
我读过一些文章，但我找不到任何关于类似语法的内容。
编辑：(更宽泛的上下文) pred3(A, B) :- pred(A), pred2(B). pred2与pred相同
浏览 2提问于2015-02-28得票数 1
1回答
我正在用Prolog构建一个国际象棋引擎。来自“人工智能的prolog编程”的alpha-beta没有深度限制。由于不可能在国际象棋中搜索整个树，我试图修改书中的代码以限制深度，但它不能正常工作。
这是书的代码：
alphabeta(Pos, Alpha, Beta, GoodPos, Val) :-
moves(Pos, PosList), !,
boundedbest( PosList, Alpha, Beta, GoodPos, Val)
;
get_pos_value(Pos,Val). % static va
浏览 20提问于2020-10-19得票数 1
下面的程序(我真实代码的摘录)
from PyQt4 import QtGui
import sys
from PyQt4.QtGui import QMessageBox
def main():
app = QtGui.QApplication([])
w = QtGui.QPushButton("Test")
def on_pressed():
print("Pressed")
QMessageBox.warning(w, 'Info', 'Button Pressed&
浏览 0提问于2017-04-05得票数 6
我得到了：
TypeError:不支持的操作数类型为*：'int‘和'NoneType’
阶乘程序错误。有人能帮帮我吗..。
def factorial(n):
if n == 0:
return 1
if n > 1:
return n*factorial(n -1)
print(factorial (5))
浏览 0提问于2017-04-05得票数 0
回答已采纳
1回答
请看代码并告诉我你的意见，即使是在我的调试器上，它显示102 == 102，这给了我错误...你能想象吗？
import java.util.Arrays;
/**
* Created by Idris on 18/11/14.
*/
public class codingGame {
static boolean exists(int[] ints, int k) {
Integer j = ints[ints.length/2];
if (j.equals(k)){
return true;
}
浏览 0提问于2014-11-19得票数 0
2回答
我对MySQL非常陌生，需要一些家庭作业的帮助，我用进行了研究，并测试了许多查询，但我找不到正确的方法。
问题是，“有多少个家庭将有多个礼物送递？”从这个数据库中计算出，有6个地址的孩子收到了超过1个礼物，但是我的查询无法确定只显示这6个有2或3个礼物的房子。
我的问题是：
SELECT address, SUM(goodBehaviour) AS `Households with multiple presents delivered`
FROM wishlist
WHERE goodBehaviour >0
GROUP BY address;
我的数据库和输出附后：
MySQL数据
浏览 2提问于2016-09-11得票数 0
回答已采纳
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
回答已采纳
odd_even(X) :-
(
X < 10,
myOdd(1, X)
;
myOdd(1, 9),
myEven(10, X)
).
这个语句是否被认为是prolog中的if else语句，因为我在prolog if语句中的理解应该是这样的。( condition -> then_clause；else_clause )使用swish prolog
浏览 0提问于2020-10-21得票数 1
1回答
我遇到过这样的切割，如果图Graph的某个节点B存在边A-B或B-A，则它应该返回true。 node(A,Graph) :- adjacent(A,_,Graph),!. 问题是，我不明白为什么删除此切割会对返回的解决方案产生任何影响。 据我所知，Prolog语句的cut at the end的唯一用法是当有另一条语句具有相同的名称另一条节点(...)如果第一个成功，我们不希望被调用。一个例子是一个函数，它接受X和Y，并返回较大的一个作为第三个参数。 max1(X, Y, X) :- X > Y, !.
max1(_X, Y, Y). 但是，没有其他名为node(...)的语句因此，
浏览 27提问于2019-01-20得票数 1
回答已采纳
1回答
一般来说，我是prolog和递归的新手。给定每个立方体的大小由立方体编号表示。例如，total_cube_volume(3，T)将有3个立方体:第一个立方体的边为1英寸，第二个立方体的边为2英寸，第三个立方体的边为3英寸。因此，这个问题的总体积是36。
这就是我到目前为止所拥有的，它编译了，但当我询问total(3，T)时，它回答否。任何建议都会有所帮助。谢谢。
total(0,T).
total(N,T):-
N>0,
N1 is N-1,
T1 is N*N*N,
total(N1,T1),
T is T+T1.
浏览 1提问于2013-04-28得票数 1
回答已采纳
1回答
我有以下数据集：
Date Lag2_ADS ADS EMP
May06 . 66.2 2
Jun06 . 55 3.3
Jul06 66.2 45.6 1.2
Aug06 55 -7.9 1.2
Sep06 45.6 -16.8 1.3
数据一直持续到July15
然后运行以下回归：
ODS listing;
ODS output FitStatistics =Mydata
proc reg data
浏览 1提问于2015-10-12得票数 1
回答已采纳
我刚刚开始学习Prolog，我发现了一些我很难理解的代码：
stringCounter([],0,0).
stringCounter([H|[]],1,1) :- char_type(H, alpha),!.
stringCounter([H1,H2|T],CCount,WCount):-
char_type(H1, alpha),
\+char_type(H2,alpha),
!,
stringCounter(T,L0,A0),
CCount is L0+1, WCount is A0+1.
stringCou
浏览 1提问于2017-09-25得票数 2
回答已采纳
1回答
我正在尝试使用SQL对SAS上的数据集执行一些线性回归来处理数据。
但这些数据需要根据非吸烟者和吸烟者分为两个表。因此我使用SQL将布尔型字段转换为数值。
但是我不能用一个标准把表一分为二。
/* Filtering Non Smockers and Adding 10 to age */
proc sql;
create table library.smoker_num as
select risk,Age,Pressure,Smoker,age+10 as age_plus,Pressure+10 as bp_plus,Pressure+(Pressure/10) as bp_prec,
浏览 19提问于2019-08-10得票数 0
我想写一个从factbase返回解决方案的谓词。当不存在解决方案时，谓词应该返回“没有解决方案存在”。返回factbase中存在的解决方案是微不足道的。如何实现“没有解决方案”部分。我使用SWI-Prolog。
浏览 1提问于2011-05-16得票数 0
回答已采纳
我是Prolog的初学者(使用SWI)，我有以下问题：
我有一条规则的定义如下：
start:-
write("Enter first list: "), read_list(List1),
write("Enter second list: "), read_list(List2),
equal_length(List1, List2),
compare(List1, List2, Alike),
write(" The lists are "), write(Alike).
start:- write(&
浏览 1提问于2015-09-24得票数 0
回答已采纳
2回答
我正在试验prolog，阅读“使用ISO标准在prolog中编程，第一版”。我已经在我的ubuntu 10.10 Maverick RC系统上安装了yap (又一个prolog)，是用synaptic安装的。我在emacs23中使用prolog模式运行prolog。
下面的代码(来自本书的第五章)没有给出本书中的结果：
/* FILE history_base.pl */
use_module(library(lists)) /* to use member/2 */
浏览 0提问于2010-10-08得票数 1
回答已采纳
I通过映射在react中显示多个表单，而submit按钮在父组件中，如何获取表单提交上映射的所有表单的值？
下面是我的父组件代码：
<form>
{rowdata.map((item, index) => <ChildForm key={index} {...this.state} />)}
<Button type="submit" className="primarybtn btnsmall"/>
</form>
浏览 1提问于2020-04-13得票数 0
2回答
我正在学习尾递归，在提交这个问题之前，我想要一个是/否的答案来回答代码片段是否是尾递归的。
int fib_in(int n, int current, int prev) {
if (n == 1 || n == 2) { // n = 1 or 2 both gives fib number 1
return current;
}
return fib_in(n - 1, current + prev, current); // recursive call, current gets updated and new prev is the curr
浏览 5提问于2019-11-17得票数 1
回答已采纳
我计算了两种证券收益的最小方差对冲比率(MVHR)：
用样本计算最优h* = Cov(S，F) / Var(F)
运行OLS回归并获得beta值
这两个值略有不同，例如，我得到h* = 0.9547和beta = 0.9537。但他们应该是一样的。为什么是这样？
下面是我的代码：
import numpy as np
import statsmodels.api as sm
var = np.var(secRets, ddof = 1)
cov_denom = len(secRets) - 1
for i in range (0, len(secRets)):
cov
浏览 1提问于2014-07-16得票数 0
回答已采纳
我刚刚完成了将一些变量传递给另一个方法，并将它们与事实进行匹配。现在，我想以if语句的形式添加一些安全性。我希望检查一下用户输入的变量是否有效(这是一个数字的形式)
这方面的一个例子如下面的代码所示，基本上用户在1和10之间选择一个选项，如果用户输入一个无效的选项(即11)，我希望该方法打印出"invalid choice“并重复该方法。
我的问题是:如何将if语句实现为Prolog代码，下面显示的代码之前的方法将传入一个数字
ifStatment(X) :-
write("Here is your list"),
nl,nl,
forall(lis
浏览 0提问于2018-11-19得票数 0
我现在正试着练习一些Prolog。我刚开始面对一个我不太明白的问题。我想递归地确定一个Peano数是否是另一个Peano数的双数。我试图像这样解决这个问题：
isDouble(0, X,X).
isDouble(s(Peano1), Peano1, Peano2) :-
isDouble(Peano1, s(Peano1), Peano2).
因为某种原因它不起作用。有人知道为什么吗？
浏览 0提问于2017-11-21得票数 3
回答已采纳
2回答
我在试着测试prolog中的递归。基于下面的KB和条件语句，我尝试进行一个递归调用，并希望对"eastOf(X，Y) :- westOf(X，Z)，eastOf(Z，Y)“使用一个递归调用，我使用的查询是"eastOf(ave，yonge)”，它应该使用递归调用，并声明X是ave，Y是yonge，Z是collegePark。但是，我使用当前(ECliPSe) iss的方案给了我这个错误“*溢出的本地/控制堆栈！您可以使用"-l kBytes”(LOCALSIZE)选项来拥有更大的堆栈。
在我的.pl文件下面找到
eastOf(collegePark,yonge).
ea
浏览 6提问于2015-09-26得票数 0
回答已采纳
1回答
我用python编写了以下程序：
def summ(a,b):
return summation(a,a,a,b)
def summation(v,c,a,b):
if (c == b):
return v
else:
return summation(v+c+1,c+1,a,b)
算法类型的研究
总的来说，我对算法和编程很陌生，我编写了这段代码，认为这是一种迭代算法，但根据以下视频：
迭代算法使用循环，例如'while'，'for‘
递归算法包含'if .然后‘语句
我如何才能知道这是
浏览 3提问于2022-11-20得票数 -4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
