SLD resolution code in Haskell - Haskell-Cafe - Haskell.org

newer
Re: rotate image

SLD resolution code in Haskell

older
Unifcation and matching in Abelian...

Steffen Bock

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.

Attachments:

attachment.html (text/html — 318 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Antoine Latter

29 Aug 29 Aug

7:16 a.m.

On Fri, Aug 28, 2009 at 6:03 PM, Steffen Bock wrote:

Hi,

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

What's SLD-resolution? Antoine

Reply

Sign in to reply online Use email software

Hector Guilarte

7:24 a.m.

Hey Steffen, I actually made it one time, remember me to send it to you on monday... Hector Guilarte -----Original Message----- From: Steffen Bock Date: Fri, 28 Aug 2009 23:03:24 To: Subject: [Haskell-cafe] SLD resolution code in Haskell _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply

Sign in to reply online Use email software

5989

Age (days ago)

5990

Last active (days ago)

Download

2 comments

3 participants

tags

participants (3)

Antoine Latter
Hector Guilarte
Steffen Bock