On 13 Οκτ 2008, at 9:41 ΠΜ, Martin Hofmann wrote:

Hi Christos,

We and a colleague from Japan use Haskell for Inductive Functional Programming, i.e. learn programs from examples.

However, we just have started to port our program to Haskell: http://www.cogsys.wiai.uni-bamberg.de/effalip/

Susumu Katayama has already a Haskell library: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html

More information about IP can be found here: http://www.inductive-programming.org/

What kind of survey are you doing? Do you have a pointer, too?

Greetings,

Martin

Thank you very much Martin for the most interesting pointers! Unfortunately I haven't any such pointers of mine (searching in Google didn't really reveal much); only the ones given by the people who kindly responded to my request in this thread. I'm an undergraduate student who just starts his thesis concerning functional programming, and I've been asked by the supervising professor to investigate Haskell's use in AI, a field in which - as the professor said - the commonly used functional language thus far was Lisp. Thanks very much again, Christos