What is it about?
A Prolog meta-interpreter that provides LaTeX code to draw beautiful SLDNF trees; these can be easily included into documents, handouts, presentations (even with animations).
Featured Image
Read the Original
This page is a summary of: SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX1, Intelligenza Artificiale The international journal of the AIxIA, April 2017, IOS Press,
DOI: 10.3233/ia-170108.
You can read the full text:
Resources
Contributors
The following have contributed to this page
