Re: Prolog goals order



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
.



Relevant Pages