Re: Prolog goals order
- From: bart demoen <bmd@xxxxxxxxxxxxxx>
- Date: Fri, 25 Aug 2006 22:30:54 +0200
On Wed, 16 Aug 2006 19:45:30 +0200, Mauro DiNuzzo wrote:
My question is: "why Prolog does not change itself to overcome this
problem?". For who is interested, I wrote a 30-lines Prolog source code that
attempt to do it. You can download it at
http://www.prologonlinereference.org/archives/freeze.zip
Your PR talk rocks ...
(nil)~/A/freeze# wc freeze.pl
85 321 3621 freeze.pl
:-)
Anyway, you are doing this only for the builtin arithmetic, unifyability
and term equality. Why not for user defined predicates ?
Cheers
Bart Demoen
.
- References:
- Prolog goals order
- From: Mauro DiNuzzo
- Prolog goals order
- Prev by Date: Re: Prolog goals order
- Next by Date: The n-knights problem
- Previous by thread: Re: Prolog goals order
- Next by thread: Prolog Programming for AI, problem 7.1
- Index(es):
Relevant Pages
|