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

Reply via email to