XSB Src (SVN)-old

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

Commit [r9497] Maximize Restore History

Make aggregation (answer subsumption) work for dynamic predicates; but retract cannot be used for deleting, only retractall.

Authored by: dwarren 2019-02-04

Browse code at this revision

Parent: [r9496]

Child: [r9498]

changed	/trunk/XSB/cmplib/cp_opt.D
changed	/trunk/XSB/cmplib/cp_opt.H
changed	/trunk/XSB/cmplib/cp_opt.P
changed	/trunk/XSB/cmplib/cp_opt.xwam
changed	/trunk/XSB/cmplib/parse.D
changed	/trunk/XSB/cmplib/parse.P
changed	/trunk/XSB/cmplib/parse.xwam

/trunk/XSB/cmplib/cp_opt.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.H Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.xwam

Binary file was changed.

/trunk/XSB/cmplib/parse.D Diff Switch to side-by-side view

/trunk/XSB/cmplib/parse.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/parse.xwam

Binary file was changed.