Ricardo Rocha
72f79b8c4f
fix compilation errors for multi-threaded tabling
2012-01-05 11:41:46 +00:00
Ricardo Rocha
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
Ricardo Rocha
ab32e8f14e
fix expand hash tables with TRIE_LOCK_AT_WRITE_LEVEL schemes
2011-12-12 17:24:58 +00:00
Ricardo Rocha
d33829205e
support for local pages with threads
2011-12-07 13:53:20 +00:00
Vítor Santos Costa
829f207307
ifixes for compilation under threads (no table sharing).
2011-11-30 13:37:59 +00:00
Ricardo Rocha
e993c2473b
the trie locking data structure (node field or global lock array) is now defined explicitly
2011-11-16 11:42:04 +00:00
Ricardo Rocha
ec0fa8a2a3
tries locking scheme is now independent for the answer, subgoal and global trie
2011-11-15 16:57:51 +00:00
Ricardo Rocha
e85854c1bb
fix invalid answers for mode directed tabling
2011-11-11 18:05:24 +00:00
Ricardo Rocha
f06489ffe5
show_table support for mode directed tabling
2011-11-09 15:13:22 +00:00
Ricardo Rocha
2905fc8114
fix mode directed tabling
2011-11-09 14:24:08 +00:00
Ricardo Rocha
88760aa0b1
mode directed tabling
2011-11-09 11:00:31 +00:00
Vítor Santos Costa
fa9d8008a4
bug fixes.
2011-10-27 12:37:41 +02:00
Vítor Santos Costa
22b0bcac14
mode directed tabling.
2011-10-22 16:49:13 +01:00
Ricardo Rocha
f7b9c74948
sync with repository
2011-05-25 18:50:54 +01:00
Ricardo Rocha
1d4fdd53c0
use SWI's IOSTREAM for output
2011-05-25 18:38:46 +01:00
Joao
971ad94311
moved several global variables to misc/GLOBALS
2011-05-25 16:40:36 +01:00
Joao
8170f6d3cb
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
Joao
ebd0e8a7c0
change global_optyap_data macros to GLOBAL_.
2011-05-10 11:47:18 +01:00
Ricardo Rocha
a532b6cff3
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS)
2011-05-09 19:36:51 +01:00
Joao
f890a11377
change macros GLOBAL to Yap
2011-03-29 18:19:18 +01:00
Vítor Santos Costa
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
Vítor Santos Costa
da1df3d851
more cleanups.
2011-03-02 23:19:39 +00:00
Ricardo Rocha
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
Ricardo Rocha
c221c2ff85
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
Ricardo Rocha
73d210c991
reducing the number of macros for error checking in the OPTYap files
2010-04-18 04:59:11 +01:00
Ricardo Rocha
467dd91b32
new built-in predicate global_trie_statistics/0.
2010-04-16 03:07:37 +01:00
Ricardo Rocha
e122f2ca8d
Global trie support: atomic terms (vars, integers and atoms) are now stored
...
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
2010-04-15 01:09:59 +01:00
Ricardo Rocha
ab8fee4e08
common global trie for subtems (seems to be working correctly !)
2010-04-05 03:34:02 +01:00
Ricardo Rocha
6c222b8e87
use a macro (stack_terms_limit) to delimit the top of the auxiliary term
...
stack
2010-04-03 16:05:38 +01:00
Ricardo Rocha
52a2b49263
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
Ricardo Rocha
55855d8d90
fix abolish_table/1 abolish_all_tables/0 for predicates with arity 0
2010-03-29 15:41:59 +01:00
Vitor Santos Costa
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
Ricardo Rocha
7d841065e9
support for the common global trie (version GT-T: global trie for terms)
2009-09-27 02:31:31 +01:00
Ricardo Rocha
cc2c6dbe71
make the parallel and sequential code to check/insert nodes in the
...
trie more consistent
2009-08-07 06:27:34 +01:00
Ricardo Rocha
375f3b7bc6
fix debugging procedures for tabling
2009-08-07 04:46:45 +01:00
Ricardo Rocha
b4a71ad43a
empty --> EMPTY
2009-08-06 18:34:21 +01:00
Ricardo Rocha
cf5d68edda
fix recursive functions that manipulate tries
2009-08-05 05:48:00 +01:00
Ricardo Rocha
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
Ricardo Rocha
c666f74532
support for deterministic tabled calls and answers
2009-07-03 00:54:39 +01:00
Ricardo Rocha
5b60209db3
bug fix in function free_subgoal_trie_branch()
2009-06-25 12:37:07 +01:00
Ricardo Rocha
eeb62b63b4
support for trie compact lists
2009-06-24 20:04:16 +01:00
Ricardo Rocha
1351bd11a2
- bug fixes in show_table/1.
...
- new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
Vitor Santos Costa
f209796c3b
fix bad overflow handling
2009-05-01 12:46:34 -05:00
Vítor Santos Costa
fdf762e326
push changes to make tabling work: don't ignore tabling and yapor fields
...
in optype.
2008-09-05 05:22:19 +01:00
Vítor Santos Costa
f499115573
redo lost updates
2008-08-21 13:38:25 +01:00
ricroc
9a841991ea
YapTab: support for early completion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-20 18:25:37 +00:00
ricroc
508c48d385
YapTab: load_answer_trie()
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2230 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-05 17:09:37 +00:00
ricroc
f92d494e8e
show_table for tabled predicates with arity 0.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1871 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-04-26 19:02:46 +00:00
ricroc
9bb854ab62
tabling support for 64 bits
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1870 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-04-26 14:13:21 +00:00
ricroc
ec5891574e
incomplete tabling: remove subgoal frame from list of inactive subgoals when a repeated call appears.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1624 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-02 08:01:27 +00:00
