On 9/5/07, Stefan O'Rear <[EMAIL PROTECTED]> wrote: > 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.
Well, a couple of reasons are pretty well agreed in the Prolog community: 1. Order of side-effects. 2. Efficiency of implementation. and arguably 3. Hysterical Raisins. -- Dr Thomas Conway [EMAIL PROTECTED] Silence is the perfectest herald of joy: I were but little happy, if I could say how much. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe