Prolog: reverse ([], A) vs reverse (A, [])

Question

Я не могу сделать из этого никакого смысла: если я даю Prolog reverse([], A)., он отлично работает, если даю reverse(A, []). и отвечать ; на первый предложение это зависает!

Почему? (Тот же результат как для GNU Prolog и SICStus Пролог!)

aioobe@r60:~$ prolog 
GNU Prolog 1.3.0 
By Daniel Diaz 
Copyright (C) 1999-2007 Daniel Diaz 
| ?- reverse([], A). 

A = [] 

yes 
| ?- reverse(A, []). 

A = [] ? ; 

Fatal Error: global stack overflow (size: 32768 Kb, 
environment variable used: GLOBALSZ) 

aioobe@r60:~$ 

Answer 1

Похоже переусердствовать оптимизации для встроенного предиката мне. Такая же проблема возникает независимо от содержимого списка во втором аргументе. Основываясь на руководстве GProlog, это ошибка. Обратите внимание на то, что template for reverse является

reverse(?list, ?list) 

И далее, что ? означает «аргумент может быть создан или переменной.»

Версия SWI-Prolog 5.6.64 дает ожидаемый результат.

?- reverse([], A). 
A = []. 

?- reverse(A, []). 
A = [] ; 
false. 

Answer 2

Мой обратный сделал то же самое, потому что предполагается, аргумент 1 должен быть создан (то есть обратная (+ ,?), как указано выше), зная, что мой Пролог бы индекс на нем. здесь:

reverse(L, R) :- reverse_1(L, [], R). 

reverse_1([], X, X).  % <-- doesn't loop on unbound arg #1 if this clause cuts 
reverse_1([A|As], X, R) :- 
    reverse_1(As, [A|X], R).