[Haskell-cafe] Learn Prolog...
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
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
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