Commit Graph

115 Commits

Author SHA1 Message Date
vsc
eb6ac94e45 use mapfield in current directory, not in / 2010-02-03 22:54:24 +00:00
vsc
9c100ae09d fix INCREMENTAL_COPY
delay P until Q has copied trailed bindings (should not be needed, but hey!)
don't trust TR when copying bindings.
2010-02-03 22:52:45 +00:00
Vitor Santos Costa
9c85f67eee fix one more CP field to offset. 2010-02-02 23:42:15 +00:00
Vítor Manuel de Morais Santos Costa
9d1f0cd361 incremental copying with or-threads. 2010-02-01 20:05:01 +00:00
Vítor Manuel de Morais Santos Costa
d0fdcba231 make it compile
support non-incremental copy.
2010-01-29 12:28:23 +00:00
Vítor Manuel de Morais Santos Costa
4b8d655437 cut cps are different from everyone else? 2010-01-28 15:44:31 +00:00
Vítor Manuel de Morais Santos Costa
5b47d00cbc replace by macros wherever possible. 2010-01-28 15:43:52 +00:00
Vitor Santos Costa
995e8f6dc7 fix cut handling with threads
do not compile or.threadengine unless yapor on.
2010-01-27 11:01:28 +00:00
Vitor Santos Costa
d2bf8c717d make sure it compiles under YAPOR alone. 2010-01-22 22:30:11 +00:00
Vitor Santos Costa
6da35f6e7b count the number of alternatives left plus the actual choicepoint!! 2010-01-22 22:29:40 +00:00
Vitor Santos Costa
44a418bd04 small orp fixes. 2010-01-15 12:04:01 +00:00
Vitor Santos Costa
70c762c162 fix undefined predicate (made Logtalk loop). 2010-01-15 01:03:34 +00:00
Vítor Manuel de Morais Santos Costa
a498dc1265 icompile table+orp 2010-01-14 17:38:39 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2 experiment in or-parallel threads. 2010-01-14 15:58:19 +00:00
Vitor Santos Costa
5f0f91208d fix compilation of threads+tabling 2009-12-18 00:19:49 -02:00
Vitor Santos Costa
d9016fa650 init_local should be called Yap_init_local to avoid clashesh. 2009-11-19 08:24:38 +00: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
Vítor Manuel de Morais Santos Costa
d810cbd41d we're moving down, not up, in both cases! 2009-10-19 16:39:40 +01:00
Ricardo Rocha
7120e79dd6 include the library shm.h only when needed 2009-09-29 00:56:58 +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
Costa Vitor
1e16a9c339 modern machines do not guarantee sequential consistency. 2009-09-07 20:42:19 -05:00
Costa Vitor
f877e78785 make YAP compile with --enable-or-parallelism 2009-08-19 21:53:49 -05:00
Ricardo Rocha
9dc0618a12 make the support for compact lists the default configuration for the tabling engine 2009-08-12 14:32:12 +01:00
Ricardo Rocha
23d44f959d include cp_h field in deterministic choice points, otherwise we get in trouble 2009-08-09 03:38:07 +01:00
Ricardo Rocha
4f6676e5af fix garbage collector for deterministic tabling (still very
experimental)
2009-08-08 05:02:27 +01:00
Ricardo Rocha
4bdf8bf991 if the current generator choice point is the topmost choice point and
the current call is deterministic then the current answer is
deterministic and we can perform an early completion and remove the
current generator choice point
2009-08-08 03:53:51 +01:00
Ricardo Rocha
fc31e7066e improve the support for deterministic tabling (still experimental,
problems mainly with the garbage collector)
2009-08-07 17:29:53 +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
981bee74f0 fix garbage collector for dealing with float/longint trie instructions 2009-08-07 04:34:48 +01:00
Ricardo Rocha
b4a71ad43a empty --> EMPTY 2009-08-06 18:34:21 +01:00
Ricardo Rocha
36e6925776 make the support for early completion optional (macro TABLING_EARLY_COMPLETION) 2009-08-06 02:27:59 +01:00
Ricardo Rocha
cf5d68edda fix recursive functions that manipulate tries 2009-08-05 05:48:00 +01:00
Ricardo Rocha
02e82d7719 disable the support for trie compact lists in YapTab's default
configuration.
2009-07-05 05:29:53 +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
7413d0f898 bug fix in built-in predicate tabling_statistics/0. 2009-06-25 13:00:13 +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
3ccad9aff2 redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
library
2009-06-24 20:00:51 +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
Vitor Santos Costa
8275f2232c fix handling of multiassignment variables with tabling;
fix bad overflow handling when copying terms from tries.
2009-05-01 11:53:59 -05:00
Vitor Santos Costa
fb8648d7df remove early completion code. 2008-09-26 18:50:09 +01:00
Vítor Santos Costa
6747cb21de do not allow backtracking to a frozen CP. 2008-09-24 00:12:32 +01:00
Vitor Santos Costa
02893cc83f Ricardo Rocha's code for user managed suspension.
changed code from absmi.c to tab.macros.h
2008-09-18 17:35:21 +01:00
Vitor Santos Costa
e35af2a352 experiments with early completion. 2008-09-15 04:29:26 +01:00
Vítor Santos Costa
d70cb39c1d fix answer_trie compilation and execution:
- YapOpcodes.h should have do/trust/try/trust: force this order in
tab.tries.insts.i
- retry and trust instructions should not trust YENV
2008-09-05 18:34:26 +01: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