29 Aug
2009
29 Aug
'09
4:33 a.m.
Hi, is there any haskell code for SLD-resolution; I wanna learn it. Thanks a lot. Steffen.