[Haskell-cafe] SLD resolution code in Haskell

2009-08-28 Thread Steffen Bock
Hi, is there any haskell code for SLD-resolution; I wanna learn it. Thanks a lot. Steffen. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] SLD resolution code in Haskell

2009-08-28 Thread Antoine Latter
On Fri, Aug 28, 2009 at 6:03 PM, Steffen Bockbock.stef...@yahoo.de wrote: Hi, is there any haskell code for SLD-resolution; I wanna learn it. What's SLD-resolution? Antoine ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] SLD resolution code in Haskell

2009-08-28 Thread Hector Guilarte
Hey Steffen, I actually made it one time, remember me to send it to you on monday... Hector Guilarte -Original Message- From: Steffen Bock bock.stef...@yahoo.de Date: Fri, 28 Aug 2009 23:03:24 To: Haskell-Cafe@haskell.org Subject: [Haskell-cafe] SLD resolution code in Haskell