[Haskell-cafe] SLD resolution code in Haskell

[Antoine Latter]

On Fri, Aug 28, 2009 at 6:03 PM, Steffen Bock<bock.steffen at yahoo.de> wrote:
> Hi,
>
> is there any haskell code for SLD-resolution; I wanna learn it.
>

What's SLD-resolution?

Antoine