[Haskell-cafe] Learn Prolog...
lennart at augustsson.net
Thu Sep 6 15:21:10 EDT 2007
Because you can play very clever tricks with DFS to make it efficient, time
On 9/5/07, Stefan O'Rear <stefanor at cox.net> wrote:
> 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.
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
> -----END PGP SIGNATURE-----
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe