Date: | Mon May 12 13:32:57 1993 | |
Subject: | Re: unwanted abort message in Prolog | |
From: | Colin Shearer | |
Volume-ID: | 930512.02 |
Jocelyn, There's a prolog_restart/0 which does the equivalent of reinitialise, version and then a Setprolog - but I think this is a fairly recent addition (in its very earliest incarnation this may have been plain restart/0, but I think even this was post-V13). You can get a similar effect by replacing the abort in your example with: prolog_eval(apply(valof(setpop))) I hope this does what you want. Incidentally, current versions have a much more sophisticated version of save. Regards, Colin |