Hi,

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

Thanks a lot.

Steffen.