
28 Aug
2009
28 Aug
'09
11:03 p.m.
Hi, is there any haskell code for SLD-resolution; I wanna learn it. Thanks a lot. Steffen.