XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r863] by kifer Small fixes.	1999-06-14 07:03:26	Tree
[r862] by cbaoqiu Fixed a bug in GET_DELAY_LISTS: changed the place to call free(copy_of_var_addr).	1999-06-14 00:32:07	Tree
[r861] by kifer minor changes	1999-06-13 19:44:52	Tree
[r860] by kifer Updates with respect to inheritance & equality	1999-06-13 19:44:25	Tree
[r859] by kifer Put in non-monotonic inheritance axioms.	1999-06-13 19:43:47	Tree
[r858] by kifer Fixed the rules for nonmon inheritance. Added inheritance with equality to future work.	1999-06-12 06:13:38	Tree
[r857] by kifer Added the import of ground/1 from basics.	1999-06-12 05:49:24	Tree
[r856] by kifer Added examples of conflicting multiple inheritance.	1999-06-12 05:48:11	Tree
[r855] by kifer 1. Added optimization to non-mon inheritance for the case when Object, Method are both ground. 2. Fixed a bug in nonmon inheritance: now it checks if O is about to inherit from C and there is a conflicting inheritance from a superclass of O that is incomparable to C, If there is, then no inheritance takes place.	1999-06-12 05:47:25	Tree
[r854] by kifer small clarifications.	1999-06-12 01:25:56	Tree

Older >