tau-prolog / draw-derivation-trees

A tool for drawing derivation trees of Tau Prolog

http://tau-prolog.org/sandbox

tau-prolog/draw-derivation-trees Issues

Derivation tree: What happens to subgoals, like in findall/3?
Closed 4 years ago8
Feature request: Less clutter in derivation trees.
Updated 4 years ago4