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_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
