File:Proof tree for Datalog transitive closure computation.svg Source: en.wikipedia.org/wiki/File:Proof_tree_for_Datalog_transitive_closure_computation.svg