논리 사용자 지정 이진 검색 트리 문제

Question

간단한 이진 검색 트리를 정의하려고합니다. 그것은 [Key, Left Tree, Right Tree]와 같은 목록에 저장됩니다. 내 논리에 문제가있어. 이것은 내가이 나는 이것이 내가

T1 = [19, [], []], 
T2 = [19, [], [20, [], []]], 
T3 = [19, [], [21, [], []]] 

나갈 것입니다

1 ?- bstadd(19, [],T1), bstadd(20,T1,T2), bstadd(21,T2,T3). 

쿼리 무엇

bstadd(K, [], [K,[],[]]). 
bstadd(K, [X|_], [X, [], [K, [], []]]) :- K > X. 
bstadd(K, [X, [], [K, [], []]], [X|_]) :- K < X. 

이 무엇이며 이것이 내가해야 할 것입니다

[19, [], [20, [], [21, [], []]]] 

어떤 도움이라도 훌륭합니다. 나는 며칠 동안 내 머리를 벽에 치고 있었다.

Answer 1

이것은 내 해결책입니다. 당신이 생각하는 것을 알려주고 그것을 이해하기가 어렵다면 당신을 도울 수있어서 기쁩니다.

bstadd(Value, [], [Value,[],[]]). 
bstadd(Value,[Key,Left,Right],X) :- Value \= Key , % no duplicates in BST 
            (
             Value < Key -> % if Value < Key 
             % then add to left side 
             bstadd(Value,Left,Rez) , 
             X = [Key,Rez,Right] 
             ; %else (Value > Key) 
             % then add to right side 
             bstadd(Value,Right,Rez) , 
             X = [Key,Left,Rez] 
            ).