Menu

Src (SVN)-old Commit Log


Commit Date  
[r9604] by dwarren

added load_dynca/1.

2019-05-28 13:57:43 Tree
[r9603] by "kifer"

make windows pipe size similar to linux pipe size

2019-05-28 02:26:33 Tree
[r9602] by "kifer"

added a number of chmod +x to configure to improve some situations
some recompiled dlls

2019-05-23 02:38:07 Tree
[r9601] by dwarren

Fixed minor bug in lattice answer subsumption, when using an open term for the aggregation operation and subsumptive tabling.

2019-05-21 18:05:10 Tree
[r9600] by dwarren

Added standard_metapredicate declaration for abolish_table_pred

2019-05-16 19:30:38 Tree
[r9599] by "kifer"

str_len --> str_length in string.

2019-05-10 03:06:02 Tree
[r9598] by "kifer"

made it easier to call extern_print_pterm_fun, which should be used instead of extern_print_pterm. The latter doesn't link on x32, but the former does.

2019-05-10 01:50:08 Tree
[r9597] by dwarren

Right output after bug fix in answer completion.

2019-05-08 20:12:26 Tree
[r9596] by dwarren

Fixed bug in answer completion, in meta-interpretation of residual program.

2019-05-08 20:09:19 Tree
[r9595] by dwarren

Improve error message in findall.

2019-05-06 17:21:16 Tree
Older >