XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r8979] Maximize Restore History

Improved handling of variables in group-by arguments it lattice answer

subsumption. Not perfect, but better.

Authored by: dwarren 2017-02-25

Parent: [r8978]

changed	/trunk/XSB/cmplib/cp_opt.P
changed	/trunk/XSB/cmplib/cp_opt.xwam

Binary file was changed.