Menu

Src (SVN)-old Commit Log


Commit Date  
[r9494] by "kifer"

enable configuration of dbdrivers by default.
--with-no-dbdrivers disables that.

2019-02-02 23:05:48 Tree
[r9493] by "kifer"

all makexsb's now run xsb for the first time to create xsb config.xwam
recompiled dlls for windoze

2019-02-02 05:51:39 Tree
[r9492] by dwarren

Replaced old low-level predicates (psc_*-type) with more standard ones.

2019-01-31 19:53:48 Tree
[r9491] by rzf

ported library apply from SWI and nth0/3,4 nth1/3,4

2019-01-31 09:12:08 Tree
[r9490] by dwarren

changed intern_term to throw errors instead of fail.

2019-01-28 17:24:36 Tree
[r9489] by dwarren

Add mode declarations, and some minor checks, to ensure that all syslib file pass groundedness mode checking.

2019-01-28 14:22:10 Tree
[r9488] by dwarren

Added new hook calls to support intercepting assert and retractall.

2019-01-28 14:16:09 Tree
[r9487] by dwarren

Added new hooks: xsb_intercept_assert_hook and xsb_intercept_retractall_hook, to allow asserts and retractalls to be replaced (mostly so e.g. assert(p(a)) can be turned into assert(p_int(a)).

2019-01-28 14:14:28 Tree
[r9486] by dwarren

Adding new files with inferred mode info.

2019-01-28 14:09:33 Tree
[r9485] by dwarren

turned on test of intern_term for large arities. It should now work.

2019-01-28 13:55:56 Tree
Older >