XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8580] by tswift Changing variable names, to help distinguish similar trie code for subgoals, answers, and asserted tries.	2016-01-17 15:36:43	Tree
[r8579] by tswift Changed a few macro names for clarity.	2016-01-17 14:49:23	Tree
[r8578] by tswift Fixed case in call/n where explicit module qualification was not working properly.	2016-01-13 21:55:58	Tree
[r8577] by tswift Added explicit module qualification to routines that use abstraction; moved 2 term abstraction routines into this module.	2016-01-13 21:54:27	Tree
[r8576] by tswift forgot this one.	2016-01-13 21:52:40	Tree
[r8575] by tswift Added this a while ago, forgot to commit.	2016-01-13 21:52:06	Tree
[r8574] by tswift Update to use explicit module qualification to abstract terms.	2016-01-13 21:50:59	Tree
[r8573] by tswift Took out this -- useful stuff has been moved to tables.P	2016-01-13 21:46:23	Tree
[r8572] by tswift Modified sdg_print test to use explicit module qualification. Added test of forest-logging scc analysis.	2016-01-13 21:40:33	Tree
[r8571] by tswift Taking this out -- need to find another way to make sure the predicates are loaded from usermod.	2016-01-10 23:45:42	Tree

Older >