graphs_trees_depth.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	graphs_tree_depth(X, 0) :- not graphs_tree_depends(X, _); graphs_node(X).
	graphs_tree_depth(X, LEVEL):- LEVEL = #max{L+1, graphs_tree_depth(Y, L): graphs_tree_depth(Y, L), graphs_tree_depends(X, Y)}; graphs_node(X); LEVEL > 0.