[Haskell-cafe] SLD resolution code in Haskell

[Steffen Bock]

Hi,

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

Thanks a lot.

Steffen.



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090828/1f05998c/attachment.html