[comp.lang.prolog] Prolog Symbolic Integration ?

yfeng@watnow.waterloo.edu (Feng Yang) (11/29/90)

Hello, there.

I am working on problem solving and learning.  I think symbolic
integration is a proper domain to test different problem solving and
learning approaches because it is well defined and has fairly large
search space.  I would like to like to know if I get any symbolic
integration programm in prolog to start with.

Thanks in advance.

Feng
--
*++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*
+ Feng Yang (yfeng@watnow.waterloo.edu)                                    +
+ Dept. of Systems Design Engineering           Only smart enough to ask   +
+ University of Waterloo, ON, Canada            stupic questions.          +