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. The
change to 'doProve' would be rather simple (in the "if (isNum(caar(x)))"
part), but I'm not sure about the consequences (my lack of the right
Prolog mind). It surely would not slow things down, though.

- Alex
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to