[Haskell-cafe] Learn Prolog...

[Thomas Conway]

On 9/5/07, Stefan O'Rear <stefanor at cox.net> 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
drtomc at gmail.com

Silence is the perfectest herald of joy:
I were but little happy, if I could say how much.