prolog - このコードは何のためのものですか?

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 がコメントで指摘したように、このコードは機能しません。しかし、2番目の節の頭を

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

次に、ゴールに対して から までの範囲の数字のリストを生成します。co_to(X,Y,L)例:LXY

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