Proof trees in swi-prolog?

From: Mike Grosvald (grosvald_at_gmail.com)
Date: 10/31/04 

Date: 30 Oct 2004 16:18:40 -0700

I'm a graduate student in Linguistics at the University of
California at Davis. I'm working with a Semantics professor
here on a project using swi-prolog, and it turns out it would be
useful to be able to visualize what we are doing using proof trees.

Neither of us are computer programmers per se, so I have started looking
around online, hoping to find code that we could use to create proof trees
for our little project. I'm just wondering if there's anyone out there
who might have a swi-prolog proof tree building algorithm
"sitting around" that you wouldn't mind sending us.

If so, I'm mailable at grosvald@gmail.com ...

Thank you!
Mike G