1f0f9968df
Adding rational term support for tabling tries
2013-12-19 10:56:52 +00:00
65eb3b8e4d
Still undoing... sorry
2013-12-17 18:15:34 +00:00
35a332f23a
rational tries support for yap tabling
2013-12-17 16:55:39 +00:00
d540354c30
adding sum mode operator + fix multithreading compatibility
2012-06-04 19:27:31 +01:00
02447ac372
minor fixes
2012-05-21 15:55:14 +01:00
1fe86ba2b3
fix parallel_findall/3
2012-01-05 16:04:32 +00:00
72f79b8c4f
fix compilation errors for multi-threaded tabling
2012-01-05 11:41:46 +00:00
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
6bb26f4764
fix support for local pages with threads
2011-12-09 16:06:17 +00:00
ea337366fe
fix compilation for or-parallelism
2011-12-05 17:02:06 +00:00
65b73a8a09
data structures for multithreading tabling
2011-11-22 17:09:29 +00:00
e993c2473b
the trie locking data structure (node field or global lock array) is now defined explicitly
2011-11-16 11:42:04 +00:00
ec0fa8a2a3
tries locking scheme is now independent for the answer, subgoal and global trie
2011-11-15 16:57:51 +00:00
88760aa0b1
mode directed tabling
2011-11-09 11:00:31 +00:00
22b0bcac14
mode directed tabling.
2011-10-22 16:49:13 +01:00
d601ba9caf
fix yapor memory allocation
2011-06-02 17:01:00 +01:00
affaeb4092
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
...
Conflicts:
H/dlocals.h
H/hlocals.h
H/ilocals.h
H/rlocals.h
2011-04-29 16:44:59 +01:00
c27f79eeb1
fix YapOr threads.
2011-04-29 14:59:17 +01:00
d4825159ee
fix configure file. change memory management in YapOr.
2011-04-28 09:48:42 +01:00
274de7652f
fix error messages in configure file.
2011-04-18 14:59:17 +01:00
b6e0a64e56
fix memory allocation for YapOR
2011-04-14 19:19:13 +01:00
af056dd605
fix tabling to compile with threads+ or-parallelism.
2010-07-27 23:09:17 +01:00
16c1056a01
tabling support for the common global trie is now available by default
...
(macro GLOBAL_TRIE was removed). Use 'yap_flag(tabling_mode,MODE)' to
set the storing mode for all tabled predicates to MODE ('local_trie' or
'global_trie). Alternatively, use 'tabling_mode(PRED,MODE)' to set the
default tabling mode of predicate PRED to MODE ('local_trie' or
'global_trie'). The default mode for all tabled predicates is 'local_trie'.
2010-04-23 04:22:10 +01:00
73d210c991
reducing the number of macros for error checking in the OPTYap files
2010-04-18 04:59:11 +01:00
ab8fee4e08
common global trie for subtems (seems to be working correctly !)
2010-04-05 03:34:02 +01:00
52a2b49263
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
7d841065e9
support for the common global trie (version GT-T: global trie for terms)
2009-09-27 02:31:31 +01:00
9dc0618a12
make the support for compact lists the default configuration for the tabling engine
2009-08-12 14:32:12 +01:00
23d44f959d
include cp_h field in deterministic choice points, otherwise we get in trouble
2009-08-09 03:38:07 +01:00
4f6676e5af
fix garbage collector for deterministic tabling (still very
...
experimental)
2009-08-08 05:02:27 +01:00
fc31e7066e
improve the support for deterministic tabling (still experimental,
...
problems mainly with the garbage collector)
2009-08-07 17:29:53 +01:00
36e6925776
make the support for early completion optional (macro TABLING_EARLY_COMPLETION)
2009-08-06 02:27:59 +01:00
02e82d7719
disable the support for trie compact lists in YapTab's default
...
configuration.
2009-07-05 05:29:53 +01:00
5e4d7078ab
support for trie compact lists (version 2): this new version uses
...
different marks to distinguish the lists ending with the empty list
from the lists ending with a non-empty list term.
2009-07-05 05:14:08 +01:00
c666f74532
support for deterministic tabled calls and answers
2009-07-03 00:54:39 +01:00
eeb62b63b4
support for trie compact lists
2009-06-24 20:04:16 +01:00
3ccad9aff2
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
...
library
2009-06-24 20:00:51 +01:00
b8d0396939
more small fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1431 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-31 12:27:54 +00:00
34b2a0df4f
TABLING NEW: support to limit the table space size
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-04 15:45:56 +00:00
b36b836820
TABLING NEW: better support for incomplete tabling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-01 15:40:39 +00:00
5ef65b053e
TABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1343 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-07-11 19:17:32 +00:00
c665fa8c11
include declarations (small changes)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1326 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-06-03 18:28:11 +00:00
b8546491fc
copyright header in OPTYap files
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1315 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-31 08:24:24 +00:00
f1db3d3b69
remove abort_yapor, abort_yaptab, ...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1309 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-31 00:49:49 +00:00
4c972ca825
bug fixes for YapTab support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1259 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-04 20:30:14 +00:00
e2e49aecd1
My first attempt to synchronize OPTYap with CVS
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@915 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-11-05 16:00:01 +00:00
e5f4633c39
This commit was generated by cvs2svn to compensate for changes in r4,
...
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00
Theo
Theofrastos Mantadelis
Ricardo Rocha
Vítor Santos Costa
Joao
Ricardo Rocha
Ricardo Rocha
vsc
ricroc