Did you know ... Search Documentation:
Pack sldnfdraw -- prolog/sldnfdraw.pl
PublicShow source

Produces a LaTeX drawing of an SLDNF tree


- Marco Gavanelli, Lorenzo Campioni, Fabrizio Riguzzi
- Simplified BSD license
 set_depth(++Depth:int) is det
Sets the maximum depth of the SLDNF tree
 animate(:Var) is det
Sets animation on. The argument is unused (it is there to collect the name of the calling module)
 draw_goal(++File:string) is det
draw_goal(--Tree:string) is det
Writes the Latex code of the tree to File or returns it as a string in Tree