Newsgroups: comp.lang.prolog
Path: utzoo!utgpu!watserv1!watnow.waterloo.edu!yfeng
From: yfeng@watnow.waterloo.edu (Feng Yang)
Subject: Prolog Symbolic Integration ?
Message-ID: <1990Nov29.153157.3512@watserv1.waterloo.edu>
Sender: daemon@watserv1.waterloo.edu
Organization: University of Waterloo
Date: Thu, 29 Nov 90 15:31:57 GMT
Lines: 16

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.          +
