Dear all, SLDNF-Draw is a software written in ECLiPSe to draw SLDNF Trees in LaTeX. It is useful for teaching Prolog, as it lets one easily include SLDNF trees in course course handouts, or in scientific papers, with the typographic quality of LaTeX. Moreover, SLDNF trees can be included in presentations written with the Beamer class. In presentations, the SLDNF Tree can be shown interactively, with PDF animations. SLDNF Draw can be downloaded from: http://endif.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/software/sldnf-draw The page contains examples and user's manuals. Best, Marco -- Marco Gavanelli Associate Professor Ph.D. in Computer Science Dept of Engineering University of Ferrara http://docente.unife.it/marco.gavanelliReceived on Mon May 08 2017 - 11:02:03 CEST
This archive was generated by hypermail 2.2.0 : Thu May 18 2017 - 12:13:35 CEST