| Commit | Date | |
|---|---|---|
|
[r9496]
by
dwarren
Added option to read_term/2/3 of 'variables_as_atoms', which returns a term with its variables bound to their names; i.e., it treats variable names as constants. Useful for reading prolog-like terms from other systems. |
2019-02-04 14:44:02 | Tree |
| 2019-02-03 07:27:50 | Tree | |
| 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 |
2019-02-02 05:51:39 | Tree |
| 2019-01-31 19:53:48 | Tree | |
| 2019-01-31 09:12:08 | Tree | |
| 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 |
| 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 |