如何判斷一個元素是否屬於Prolog中特定的b-Tree？

Question

我有代表由t謂語特定B樹，並提供in/2斷言說，如果一個元素X屬於此樹下面的程序：

t(
    t(nil, b, nil),  
    a,    
    t(t(nil,d,nil), c, nil) 
). 

in(X, t(_,X,_)).   
in(X, t(L,_,_)) :- in(X,L).  
in(X, t(_,_,R)) :- in(X,R). 

我的問題是，我不知道如何使用這兩個謂詞在Prolog shell中執行此查詢。

例如，我有什麼做的，問的Prolog如果d元素是在代表樹（獲得真），或者如果元素z這棵樹上（獲得假）？

Answer 1

我想說的問題是，t/3不屬於你的事實數據庫，它屬於查詢。或者，這個t/3根本不是一個謂詞，而僅僅是一個事實（儘管這個區別比初看起來似乎沒那麼有意義）。但是，我們可以用這方面的工作，我們需要做一些重建：

?- t(A,B,C), T=t(A,B,C), in(d,T). 
A = t(nil, b, nil), 
B = a, 
C = t(t(nil, d, nil), c, nil), 
T = t(t(nil, b, nil), a, t(t(nil, d, nil), c, nil)) 

?- t(A,B,C), T=t(A,B,C), in(z,T). 
false. 

的T=t(A,B,C)體操，必須重建你的樹。它會更清楚，如果你有謂詞創建的樹木，所以你可以做一個查詢，看起來更像是這樣的：

?- empty_tree(T), 
    insert(T, a, T1), 
    insert(T1, b, T2), 
    insert(T2, c, T3), 
    in(c, T3). 

或者你可以存儲你的樹是這樣的：

tree(t(t(nil,b,nil),a,t(t(nil,d,nil),c,nil)). 

然後您的查詢看起來更像：

?- tree(T), in(d, T).