Hi Doug,
Hmmm, what's the best answer for stackoverflow?
(2 cons (- @F)))
Tune the magic number to allow the correct unification bindings to
reach up into rules which are calling this one, as far as needed, in a
given application. The value of 2 here works for one test, but use 3
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
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:
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 syntax.
