使用= ..來定義謂詞子句（T1，T2）

Question

我想通過一些練習快速檢查我的課程。但我沒有解決這些做法的檢查。你能給我一個解決方案，所以當我卡住了。我可以很快找到一些指導。第一個問題如下所述。提前致謝。

問題1。我們記得，如果T是一個項，並且L是包含函子和L的主要子項的列表，則滿足內置謂詞T = .. L。例如，f（a，g（b））=。當L = [f，a，g（b）]時滿足L，並且a = ...當列表= [a]時滿足列表。

使用= ..定義當T1是T2的子項時滿足的謂詞子項（T1，T2）。你可以假設T1和T2沒有變量。您可能還想要按照以下順序使用內置謂詞atomic（X）或compound（X）來檢查X是否是原子項和結構。

我的解決辦法是：

subterm(X,[X]):-atom(X),!. 
subterm(T1,T2):- 
compound(T1), 
T1=..U, 
U=[X|Y], 
T2=Y. 

任何意見，將不勝感激。謝謝！

Answer 1

如果時間T是其自身的subterm，定義可以很簡單：

subterm(T, T). 
subterm(T1, T2) :- 
    T2 =.. [_|As], 
    member(A, As), 
    subterm(T1, A). 

無論如何，你可以看到如上斷言實現了樹狀結構的長期的「懶惰」的訪問。