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').