[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
graphical proof tree
From: |
fred bapst |
Subject: |
graphical proof tree |
Date: |
Wed, 29 Jan 2003 15:07:51 +0100 (CET) |
Hello,
Does anybody know where I can find a tool that
graphically shows the "proof tree" of a Prolog
question ?
Of course a tracer like the one in GnuProlog is
what the programmer needs, but a graphical tree
would be useful for the first exercises in Prolog
(I'm teaching Prolog).
This seems feasible through a high-level Prolog
interpreter (cf. [Sterling,Shapiro]), or by analysing
the debugger trace output...
Thanks in advance.
___________________________________________________________
Do You Yahoo!? -- Une adresse @yahoo.fr gratuite et en français !
Yahoo! Mail : http://fr.mail.yahoo.com
- graphical proof tree,
fred bapst <=