graphs_trees_depth-test2.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	#include "core/aux/graphs_trees_depth.lp".

	graphs_node(a; b; c).
	graphs_tree_depends(b,a).
	graphs_tree_depends(b,c).
	graphs_tree_depends(c,b).

	#show graphs_tree_depth/2.