SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX.


The following is the main publication on SLDNF-Draw:

Marco Gavanelli SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX, Intelligenza Artificiale, vol. 11, no. 1, pp. 81-92, 2017. DOI: 10.3233/IA-170108. Post-print (PDF)

For any questions, suggestions, bug reporting, please feel free to contact me:

Marco Gavanelli