pub fn render_tree<W: Write>(
    clauses: &Vec<Clause>,
    sld_result: SLDResult,
    output: &mut W
)
Expand description

Renders the entire SLD tree as a DOT graph, to the writer.