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

On Fri, Aug 28, 2009 at 6:03 PM, Steffen Bock wrote:

Hi,

is there any haskell code for SLD-resolution; I wanna learn it.

What's SLD-resolution? Antoine