hbal_tree.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:07.0
disk size 258 Bytes
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents 
%query: hbal_tree(i,o).

/* motivated by P59 of Hett */

hbal_tree(zero,nil).
hbal_tree(s(zero),t(x,nil,nil)).
hbal_tree(s(s(X)),t(x,L,R)) :- 	distr(s(X),X,DL,DR),
	hbal_tree(DL,L), hbal_tree(DR,R).

distr(D1,_,D1,D1).
distr(D1,D2,D1,D2).
distr(D1,D2,D2,D1).
popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark