[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
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