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. Cheers, - Alex -- UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe
