ed688bcff0TABLING FIXED: cuts and batched scheduling
ricroc
2005-07-26 16:28:28 +00:00
934f7d6791solved warning: cast from pointer to integer of different size
rslopes
2005-07-20 13:54:42 +00:00
3ec000378afix for older compilers that do not support declaration of vars in the middle of the function code.
rslopes
2005-07-19 17:12:18 +00:00
3cb65ee103fix for older compilers...
rslopes
2005-07-19 16:54:20 +00:00
fc853dddfaYap should respect single argument indexing.
vsc
2005-07-18 17:41:16 +00:00
6b3c81c56eTABLING: new predicate 'is_tabled/1'.
ricroc
2005-07-15 18:03:26 +00:00
5ef65b053eTABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'.
ricroc
2005-07-11 19:17:32 +00:00
3a93e0e079TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure.
ricroc
2005-07-06 19:34:12 +00:00
6979a873ccimprovements to compiler: merged instructions and fixes for ->
vsc
2005-07-06 15:10:18 +00:00
f6da8078aeifix some wierd cases in indexing code: would not look at next argument problem with pvar as last clause (R Camacho).
vsc
2005-07-05 18:32:32 +00:00
d62a9e2ffaifix bad performance in backtracking nth and th0. X
vsc
2005-07-05 18:29:25 +00:00
bbfed93774fix silly calls such as 0.15 ( bug reported by Jude Shavlik)
vsc
2005-06-08 00:35:27 +00:00
99e42cfaf7get rid of //
vsc
2005-06-06 22:29:22 +00:00
7af3eafd12== and \= should not need a choice-point in ->
vsc
2005-06-01 20:25:23 +00:00
b2ecd33c89put switch_list_nl back
vsc
2005-06-01 16:42:30 +00:00
aff5df7760get_rid of try_me?, retry_me? and trust_me? instructions: they are not significantly used nowadays.
vsc
2005-06-01 14:02:52 +00:00
f3fe74cb9fimprove bb routines to use the DB efficiently change interface between DB and BB.
vsc
2005-06-01 13:53:46 +00:00
d19cf8bef8fix cleanup of expand_clauses: make sure we have everything with NULL afterwards.
vsc
2005-05-31 20:04:17 +00:00
2ed1345611insert some more slack for indices in LU Use doubly linked list for LU indices so that updating is less cumbersome.
vsc
2005-05-31 19:42:28 +00:00
b8546491fccopyright header in OPTYap files
ricroc
2005-05-31 08:24:24 +00:00
6dbf25e54cDon't try to mess with sequences that don't end with a trust. A fix for the atom garbage collector actually ignore floats ;-).
vsc
2005-05-27 21:44:00 +00:00
0b420f5493debugger was making predicates meta instead of testing fix handling of dbrefs in facts and in subarguments.
vsc
2005-05-12 03:36:33 +00:00
d4d3a14c7aremoveindexation needs clauses to work.
vsc
2005-04-28 19:47:56 +00:00
767eb026fbclause should always deref before testing type
vsc
2005-04-28 14:50:45 +00:00
92c6e7d93afirst cut at implementing Gibbs sampling on CLP(BN), mostly for fun. It only works for non-deterministic CPTs, of course.
vsc
2005-04-27 20:13:03 +00:00
4c15c9371eindexing code could get confused with suspension points some further improvements on oveflow handling fix paths in Java makefile changs to support gibbs sampling in CLP(BN)
vsc
2005-04-27 20:09:26 +00:00
9ebc807dfbfix a few variable warnings fix erase clause to pass a pointer to clause, not code get rid of Yap4.4 code in Yap_EraseStaticClause
vsc
2005-04-20 04:02:30 +00:00