Re: pilog question

2011-07-05 Thread Alexander Burger
Hi Doug, > Or maybe a way to make that pilog magic number to bind at the desired > level, *and all levels above that also*, perhaps if a negative magic > numbers appears there. (But I wouldn't touch doProve, if it slows it > down!) This sounds like a good idea. Also, it fits nicely into the synta

Lazy Evaluation

2011-07-05 Thread Alexander Burger
Hi all, a nice example for Lazy Evaluation in PicoLisp, building formal power series: http://rosettacode.org/wiki/Formal_power_series#PicoLisp (not that I think this is actually useful ... one more of those academical examples ;) Cheers, - Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.d

Re: pilog question

2011-07-05 Thread Doug Snead
Hi Alex, Ah, the situation is not so bad IMO. To begin with, this is an obscure thing to do, I think - maybe somewhat pedantic. It forces golog to be prolog, in a sense. And there are workarounds which you provided. And I think you're right: it should be possible to restructure the involved go