Рекурсия в прологе - ошибка в базовом футляре

Question

Я пытаюсь написать диапазон предикатов \ 3, который принимает три параметра: первый - это начало, второе - конец и возвращает сгенерированный список в третьем аргументе.

E.g позвонил (1,5, L).

L = [1, 2, 3, 4, 5] 

Я использовал этот код

range(E,E,[E]). 

range(S,E,L):- 
    S1 is S + 1, 
    range(S1,E,[S|L]). 

Но это не работает, когда я использовал команду трассировки, чтобы узнать, где ошибку я признал, что базовый случай бесполезно, я также попробовал зеленый вырезать ! в базовом случае, но он не работает в диапазоне (E, E, [E]),!.

Таким образом, если кто-нибудь знает, что это проблема, пожалуйста, помогите мне

Answer 1

Вы строите список в «неправильном» смысле. Учтите, что когда вы вызовете базовый регистр, он получит список consed. Как можно сопоставить один список элементов? Попробуйте вместо этого

range(S,E,[S|L]):- 
    S1 is S + 1, 
    range(S1,E,L).