这段代码是什么？

Question

我正在试图了解这段代码的用途，但我无法理解。你能解释一下吗？

co_to(I, I, [I]).

co_to(I, L, [I|L]) :- I < K, I1 is I + 1, co_to(I1, K, L).

Answer 1

正如古斯布鲁在评论中指出的那样，这段代码不起作用。但是如果你将第二个子句的头部改为

co_to(I, K, [I|L]) :- ...

然后它会为目标co_to(X,Y,L)生成一个L列表X，例如：{/ p>

Y