Recursion 如何在prolog中递归单个列表？
我正在阅读一篇教程，我发现很难理解如何递归单个列表。有人能给我一个快速的解释，基本情况必须是什么，为什么，以及在递归中做什么。我的代码是：Recursion 如何在prolog中递归单个列表？,recursion,prolog,Recursion,Prolog,我正在阅读一篇教程，我发现很难理解如何递归单个列表。有人能给我一个快速的解释，基本情况必须是什么，为什么，以及在递归中做什么。我的代码是： type(string). type(int). instance(X,Y):- X, Y. variable(_). statement([]). statement(A|B):- A, statement(B). 该代码的目的是创建一个轻型类型检查器来检查以下内容： String s; int i; i = s.length(); 我通过这
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(s))]).
我决定把它放在一个列表中并递归，然后把它放在if后面。如果它符合其中一条规则，它就是真的。目前，我只是想确保类型实例化能够正常工作。欢迎任何帮助！提前感谢。您缺少一对方括号
statement(A|B)
statement([A|B])
递归规则的其余部分看起来不错。中缺少一对方括号
statement(A|B)
statement([A|B])
递归规则的其余部分看起来不错。基本情况应该是列表与
[]规则（[H | T]）：-…规则（[]）：-…语句（a | B）语句（[a | B]）A[]规则（[H | T]）：-…规则（[]）：-…语句（a | B）语句（[a | B]）A