Описание слайда:
Удаление заданного значения из двоичного справочника tree_del_min(tr(X,empty,R), R, X). tree_del_min(tr(K,L,R), tr(K,L1,R), X):– tree_del_min(L, L1, X). tree_delete(X,tr(X,empty,R), R):–!. tree_delete (X,tr(X,L,empty), L):–!. tree_delete (X,tr(X,L,R), tr(Y,L,R1)):– tree_del_min(R,R1, Y). tree_delete (X,tr(K,L,R), tr(K,L1,R)):– X