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