SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX