Re: [Xsb-development] Changes in namings

[<ejo...@cs...>]

 > Hi all,
 > 
 >         I was wondering if it wouldn't be a good idea for Ernie to
 > write some brief description of the changes he's been commiting lately
 > regarding the names of types/variables/etc.?
 > 
 > -Luis

Well, maybe you should just ask him?

All of the changes I've committed lately are basically for "clean up".
Most prominent are the changes needed to reinstate the original size
of variant subgoal frames.  I've devised and integrated three types
into the system: one for variant evaluation and two for subsumptive
evaluation (one producer and one consumer).  This will eliminate the
spatial overhead on variant-only evaluations, modulo some minor
changes to the overall structure of tables, not having to do with the
addition of subsumption.

There were also some name changes which were mostly internal to the
subsumption subsystem.  I also plan on making a few others in the
future to better correlate with terms used in some papers I've
written.  This again won't impact anything outside of the "tabling
code" and actually will be limited to the interface routines between
the engine and tables.

-Ernie