Patent US 5,016,164

In execution of PROLOG-type programs, certain information is not saved at the time a procedure call is made. Such information is saved only if it becomes necessary, and at that time is saved in a known manner. If subsequent events make it unnecessary to save that certain information, the time required to do so has not been spent, thus improving system performance.