name(sldnfdraw). title('SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX'). version('1.61'). author('Marco Gavanelli','marco.gavanelli@unife.it').