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.

Stefan

Attachment: signature.asc
Description: Digital signature

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to