diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,611 Commits 2 Branches 6 Tags 146 MiB
921fb1c815
Commit Graph

49 Commits

Author SHA1 Message Date
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
ricroc
1ce0cdee55 subgoal_search: remove subgoal frame from list of inactive subgoals when a repeated call appears. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1594 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-04-12 14:57:59 +00:00
vsc
30318bb60d Lots of fixes (check logfile for details 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1585 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-04-05 00:16:55 +00:00
vsc
3e0d7d8749 fix bad initialization with tabling. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1439 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-11-04 01:17:17 +00:00
ricroc
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
ricroc
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
ricroc
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
ricroc
3a93e0e079 TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-07-06 19:34:12 +00:00
ricroc
3d8c03f3c9 long int support for tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1327 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-06-04 07:28:24 +00:00
ricroc
e7dc1c2e36 missing endif declaration at the end of the file 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1325 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-06-03 09:02:08 +00:00
ricroc
08eaaa570d float support for tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1323 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-06-03 08:19:18 +00:00
ricroc
7976da97b8 make the tabling engine independent of the tag scheme 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1312 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-31 08:19:31 +00:00
ricroc
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
ricroc
de17f5cca4 Adding tabling support for mixed strategy evaluation (batched and local scheduling) 
UPDATE: compilation flags -DTABLING_BATCHED_SCHEDULING and -DTABLING_LOCAL_SCHEDULING removed. To support tabling use -DTABLING in the Makefile or --enable-tabling in configure.
  NEW: yap_flag(tabling_mode,MODE) changes the tabling execution mode of all tabled predicates to MODE (batched, local or default).
  NEW: tabling_mode(PRED,MODE) changes the default tabling execution mode of predicate PRED to MODE (batched or local).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-04-07 17:56:58 +00:00
ricroc
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
ricroc
80be9121af My first attempt to synchronize OPTYap with CVS 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@916 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-05 16:12:25 +00:00
vsc
e216aab2c6 Christian's patches for OPTYap. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@707 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-26 22:19:48 +00:00
vsc
7b2c4dc6ff all global symbols should now start with _YAP 
global functions should not be called from within file (bug in
binutils/WIN32).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@675 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-11 17:38:10 +00:00
vsc
4fc1a2ff42 put tabling back to work 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@460 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-03 15:30:36 +00:00
vsc
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