这是什么代码？

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

正如gusbro在他的评论中指出的那样，这段代码不起作用。但是，如果你的第二个子句的头更改为

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

然后生成一个目标co_to(X,Y,L)列表数为X到Y的L，例如：

?- co_to(5,10,L). 
L = [5, 6, 7, 8, 9, 10] 
Yes (0.00s cpu, solution 1, maybe more) 
No (0.02s cpu)