prolog實例化錯誤= =運算符

Question

我正在寫一個名爲subseq的函數，它檢查一個列表是否是另一個列表的子序列。

subseq([],[]). 
subseq([],[Y|Ys]). 
subseq([X|Xs],[Y|Ys]) :- X=:=Y, subseq(Xs,Ys). 
subseq([X|Xs],[Y|Ys]) :- X=\=Y, subseq([X|Xs],Ys). 

當我嘗試SUBSEQ（X，[1,2]）我得到：

X = [] ? ; 
uncaught exception: error(instantiation_error,(=:=)/2) 

這究竟是爲什麼？我的猜測是[=]正在通過=：=進行操作，但是如何檢查/防止此錯誤？

Answer 1

您在此處的錯誤上下文中使用=:=和=\=。當你有兩個表達式並且想要評估和比較它們時，應該使用這兩個運算符。在您的測試中，因爲X事先不知道，所以Prolog無法評估X並與Y比較。有關=:=和=\=的更多信息可以在這裏找到：Prolog Operator =:=。

在你的代碼只需要統一的原子那麼一個可能的修復可能是：

subseq([],[]). 
subseq([],[_|_]). 
subseq([X|Xs],[Y|Ys]) :- X=Y, subseq(Xs,Ys). 
subseq([X|Xs],[Y|Ys]) :- X\=Y, subseq([X|Xs],Ys).