| Commit | Date | |
|---|---|---|
|
[r6676]
by
tswift
1) Fixed dynamic as so that it is accepted as an executable directive. 2) Added 'incremental' as a predicate property. 3) Minor change to use_incremental tabling (won't core-dump on a non-comma list) |
2010-07-28 21:29:44 | Tree |
|
[r6675]
by
tswift
added test case for incremental tabling where no clauses are initially |
2010-07-28 17:44:52 | Tree |
|
[r6674]
by
tswift
Fix to an incremental tabling bug in which incremental tabling was not |
2010-07-28 17:43:15 | Tree |
|
[r6673]
by
dwarren
Another missing declaration for aggregate transformation, this time for delete_return. |
2010-07-12 19:46:00 | Tree |
| 2010-07-12 19:31:51 | Tree | |
|
[r6671]
by
dwarren
Added import of copy_term when generate aggregate transformation. |
2010-07-12 19:31:09 | Tree |
| 2010-07-07 03:25:24 | Tree | |
|
[r6669]
by
tswift
Another small update to delete_branch to support backtrackable updates |
2010-07-05 20:47:42 | Tree |
|
[r6668]
by
tswift
Made delete_branch check the BTNs that it deallocated, to make sure |
2010-07-04 19:02:16 | Tree |
|
[r6667]
by
dwarren
Exported do_the_load as load_object_file so it can be used to ensure |
2010-06-30 18:29:25 | Tree |