pub fn render_tree<W: Write>( clauses: &Vec<Clause>, sld_result: SLDResult, output: &mut W)
Renders the entire SLD tree as a DOT graph, to the writer.