Re: how to rename variables?

On Sun, 26 Aug 2007 23:34:06 +0200, Markus Triska wrote:


Indeed; however, the "term copying" property of findall is worth
knowing since it can be used to define the entire evaluation strategy
of pure Prolog in a single line of semi-deterministic Prolog code:

step([A|As0], As) :- findall(Gs-G, (A=[G0|Rest]-G,ld(G0,Gs,Rest)), As, As0).

I had never considered the question
what would be the worst reason why I would like to know about
the copying semantics of findall/3 ?

I now know the answer - I am so happy !

Reminds a bit of 42.

Bart Demoen
.