[Haskell-cafe] Learn Prolog...

Stefan O'Rear stefanor at cox.net
Tue Sep 4 23:41:00 EDT 2007

On Wed, Sep 05, 2007 at 01:21:52PM +1000, Thomas Conway wrote:
> but to interpret this as a *program* you have to consider how it will
> be executed. In particular, using SLD resolution, conjunction (/\, or
> ',' in Prolog notation) is not commutative as it is in predicate
> logic.

I've always wondered why Prolog uses DFS, instead of some complete
method like DFID or Eppstein's hybrid BFS...  having to worry about
clause order seems so out of place.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070904/2c414b50/attachment.bin

More information about the Haskell-Cafe mailing list