🚀 go-pugleaf

Hello-
	I am looking for a reasonably powerful symbolic math package
written in prolog to be used on a PC. I've seen the C&M example
concerning symbolic differentiation and reduction and was wondering
if someone out there has implemented a more complete and powerful
package which they are willing to share.
	 Given that I am not a proficient prolog programmer yet and
this is a non-trivial problem, I thought I'd ask before attempting
to program some of this myself. Also, if anyone knows of any articles, 
books, etc. concerning this topic (symbolic mathematics w/ prolog) I 
would certainly appreciate pointers to these as well.
	To avoid net over-loading please send your responses directly
to me via e-mail and I will post a summary of my findings.

Thank you,

Kevin Spier
spierk@cs.rpi.edu


Christopher Welty  ---  Asst. Director, RPI CS Labs
weltyc@cs.rpi.edu       ...!rutgers!nysernic!weltyc