Menu

Src (SVN)-old Commit Log


Commit Date  
[r7876] by dwarren

Fixed bug in loading rule: execute(X) :- X.
(needed to handle variable before calling goal_cut_trans.)

2014-01-24 14:09:57 Tree
[r7875] by dwarren

Fixed assert to correctly transform clause like
execute(X) :- X.
and add the call wrapper correctly.

2014-01-23 14:38:13 Tree
[r7874] by tswift

Preliminary version of abstraction for dynamic incremental predicates.

2014-01-21 14:57:52 Tree
[r7873] by kifer

allow xsb_configuration.xwam without the corresponding .P file

2014-01-21 00:17:51 Tree
[r7872] by tswift

Exporting filter_varlist/4.

2014-01-17 02:37:04 Tree
[r7871] by dwarren

Added coercion to quiet MSVC compiler.

2014-01-02 14:15:20 Tree
[r7870] by tswift

Fixed problem in using get_residual_sccs for uncondtional answers.

2014-01-01 23:28:44 Tree
[r7869] by tswift

Commented out ensure_loaded(xsbbrat) -- the tests should also test that xsbbrat is loaded, come what may.

2014-01-01 21:51:21 Tree
[r7868] by tswift

Fixes to ensure that various undefineds are always loaded, and
regularized how they are loaded. This fixes a problem encountered by
Flora, and some refactoring makes it easier to add new types of
undefineds.

2014-01-01 21:49:45 Tree
[r7867] by kifer

in gpp, make it work with forward slashes in the file paths under windows.

2014-01-01 04:42:58 Tree
Older >
MongoDB Logo MongoDB