[eclipse-clp-users] Announcement: SLDNF Draw with animations

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Mon, 8 May 2017 12:34:56 +0200
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:


The page contains examples and user's manuals.


Marco Gavanelli
Associate Professor
Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Received on Mon May 08 2017 - 11:02:03 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST