> 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
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.