Пролог: Разница в двух списках

Question

Довольно новая для Пролога. Я пытаюсь дать два списка, и разница между ними вернулась. Второй список может иметь связанные переменные и несвязанные переменные в нем. Я пробовал отслеживать это, и он повторяется полностью и дает мне правильный список в NewL, но затем на обратном пути он отменяет все удаленные действия, которые я сделал. Что происходит не так? Спасибо за помощь!

% Find difference between two lists, return result in Difference 
difference(List,[H|T],Difference) :- % When H is unbound var, use Tail 
    var(H),!,difference(List,T,Difference),!. 

difference(List,[H|T],Difference) :- % When H is bound var, remove from List. 
    subtract(List,[H],NewL), 
    difference(NewL,T,Difference),!. 

Answer 1

Предполагая, что вычитать/3 происходит от SWI-Prolog library, и, таким образом, является правильным, вы остались с только одна возможность: вы забыли объявить базовый случай на второй аргумент, который приводит в движение рекурсию.

Примите во внимание комментарий от @mog, порезы следует использовать только при необходимости. Конечно, чтобы решить, когда являются обязательно может быть трудно ...