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
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe