diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
Files
071bb36f0efd7f6cfc3500e461e67bd3b9421d39
yap-6.3/OPTYap/tab.tries.insts.h

1230 lines
49 KiB
C
Raw Normal View History

new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
** **
** The YapTab/YapOr/OPTYap systems **
** **
** YapTab extends the Yap Prolog engine to support sequential tabling **
** YapOr extends the Yap Prolog engine to support or-parallelism **
** OPTYap extends the Yap Prolog engine to support or-parallel tabling **
** **
** **
** Yap Prolog was developed at University of Porto, Portugal **
** **
************************************************************************/
/************************************************************************
** Trie instructions: auxiliary stack organization **
*************************************************************************
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
-------------------
| ha = heap_arity |
------------------- --
| heap ptr 1 | |
------------------- |
| ... | -- heap_arity (0 if in global trie)
------------------- |
| heap ptr ha | |
------------------- --
| va = vars_arity |
------------------- --
| var ptr va | |
------------------- |
| ... | -- vars_arity
------------------- |
| var ptr 1 | |
------------------- --
| sa = subs_arity |
------------------- --
| subs ptr sa | |
------------------- |
| ... | -- subs_arity
------------------- |
| subs ptr 1 | |
------------------- --
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
/************************************************************************
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
** Trie instructions: macros **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define TOP_STACK YENV
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
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
#define HEAP_ARITY_ENTRY (0)
#define VARS_ARITY_ENTRY (1 + heap_arity)
#define SUBS_ARITY_ENTRY (1 + heap_arity + 1 + vars_arity)
/* macros 'HEAP_ENTRY', 'VARS_ENTRY' and 'SUBS_ENTRY' **
** assume that INDEX starts at 1 (and not at 0 !!!) */
#define HEAP_ENTRY(INDEX) (HEAP_ARITY_ENTRY + (INDEX))
#define VARS_ENTRY(INDEX) (VARS_ARITY_ENTRY + 1 + vars_arity - (INDEX))
#define SUBS_ENTRY(INDEX) (SUBS_ARITY_ENTRY + 1 + subs_arity - (INDEX))
#define next_trie_instruction(NODE) \
PREG = (yamop *) TrNode_child(NODE); \
PREFETCH_OP(PREG); \
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
GONext()
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
#define next_instruction(CONDITION, NODE) \
if (CONDITION) { \
PREG = (yamop *) TrNode_child(NODE); \
} else { /* procceed */ \
PREG = (yamop *) CPREG; \
TOP_STACK = ENV; \
} \
PREFETCH_OP(PREG); \
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
GONext()
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
#define copy_aux_stack() \
{ int size = 3 + heap_arity + subs_arity + vars_arity; \
TOP_STACK -= size; \
memcpy(TOP_STACK, aux_stack, size * sizeof(CELL *)); \
aux_stack = TOP_STACK; \
just in time native code: now compiles by doing cmake; make. no workie in this version, though :)
2015-02-06 18:11:52 +00:00
}/* macros 'store_trie_node', 'restore_trie_node' and 'pop_trie_node' **
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
** do not include 'set_cut' because trie instructions are cut safe */
#define store_trie_node(AP) \
{ register choiceptr cp; \
TOP_STACK = (CELL *) (NORM_CP(TOP_STACK) - 1); \
cp = NORM_CP(TOP_STACK); \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
HBREG = HR; \
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
store_yaam_reg_cpdepth(cp); \
cp->cp_tr = TR; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
cp->cp_h = HR; \
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
cp->cp_b = B; \
cp->cp_cp = CPREG; \
cp->cp_ap = (yamop *) AP; \
cp->cp_env= ENV; \
B = cp; \
YAPOR_SET_LOAD(B); \
SET_BB(B); \
reducing the number of macros for error checking in the OPTYap files
2010-04-18 04:59:11 +01:00
TABLING_ERROR_CHECKING_STACK; \
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
} \
copy_aux_stack()
#define restore_trie_node(AP) \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
HR = HBREG = PROTECT_FROZEN_H(B); \
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
restore_yaam_reg_cpdepth(B); \
CPREG = B->cp_cp; \
ENV = B->cp_env; \
YAPOR_update_alternative(PREG, (yamop *) AP) \
B->cp_ap = (yamop *) AP; \
TOP_STACK = (CELL *) PROTECT_FROZEN_B(B); \
SET_BB(NORM_CP(TOP_STACK)); \
copy_aux_stack()
#define really_pop_trie_node() \
TOP_STACK = (CELL *) PROTECT_FROZEN_B((B + 1)); \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
HR = PROTECT_FROZEN_H(B); \
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
pop_yaam_reg_cpdepth(B); \
CPREG = B->cp_cp; \
TABLING_close_alt(B); \
ENV = B->cp_env; \
B = B->cp_b; \
HBREG = PROTECT_FROZEN_H(B); \
SET_BB(PROTECT_FROZEN_B(B)); \
if ((choiceptr) TOP_STACK == B_FZ) { \
copy_aux_stack(); \
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
}
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
support for trie compact lists
2009-06-24 20:04:16 +01:00
#ifdef YAPOR
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
#define pop_trie_node() \
if (SCH_top_shared_cp(B)) { \
restore_trie_node(NULL); \
} else { \
really_pop_trie_node(); \
support for trie compact lists
2009-06-24 20:04:16 +01:00
}
#else
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
#define pop_trie_node() \
really_pop_trie_node()
support for trie compact lists
2009-06-24 20:04:16 +01:00
#endif /* YAPOR */
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_null_instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_null_instr() \
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
next_trie_instruction(node)
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_extension_instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_extension_instr() \
TOP_STACK = &aux_stack[-2]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity + 2; \
TOP_STACK[HEAP_ENTRY(1)] = TrNode_entry(node); \
TOP_STACK[HEAP_ENTRY(2)] = 0; /* extension mark */ \
support for trie compact lists
2009-06-24 20:04:16 +01:00
next_trie_instruction(node)
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
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_term_(in_pair_)instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_term_instr() \
if (heap_arity) { \
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], t); \
TOP_STACK = &aux_stack[1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity - 1; \
next_instruction(heap_arity - 1 || subs_arity, node); \
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], t); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
next_instruction(subs_arity - 1, node); \
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
}
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
#define aux_stack_term_in_pair_instr() \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 1; \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global(HR, TrNode_entry(node)); \
TOP_STACK[HEAP_ENTRY(1)] = (CELL) (HR + 1); \
HR += 2; \
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
next_trie_instruction(node)
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_(new_)pair_instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_new_pair_instr() /* for term 'CompactPairInit' */ \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity + 1; \
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-2]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 2; \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(1)] = (CELL) HR; \
TOP_STACK[HEAP_ENTRY(2)] = (CELL) (HR + 1); \
HR += 2; \
support for trie compact lists
2009-06-24 20:04:16 +01:00
next_trie_instruction(node)
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
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
#ifdef TRIE_COMPACT_PAIRS
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
#define aux_stack_pair_instr() /* for term 'CompactPairEndList' */ \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 1; \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(1)] = (CELL) HR; \
Bind_Global(HR + 1, TermNil); \
HR += 2; \
support for trie compact lists
2009-06-24 20:04:16 +01:00
next_trie_instruction(node)
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
#else
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
#define aux_stack_pair_instr() \
aux_stack_new_pair_instr()
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
#endif /* TRIE_COMPACT_PAIRS */
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_appl_(in_pair_)instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_appl_instr() \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsAppl(HR)); \
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
TOP_STACK = &aux_stack[-func_arity + 1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity + func_arity - 1; \
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsAppl(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-func_arity]; \
TOP_STACK[HEAP_ARITY_ENTRY] = func_arity; \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
*HR = (CELL) func; \
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
{ int i; \
for (i = 1; i <= func_arity; i++) \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(i)] = (CELL) (HR + i); \
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
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
HR += 1 + func_arity; \
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
next_trie_instruction(node)
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
#define aux_stack_appl_in_pair_instr() \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
TOP_STACK = &aux_stack[-func_arity]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity + func_arity; \
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-func_arity - 1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = func_arity + 1; \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(func_arity + 1)] = (CELL) (HR + 1); \
Bind_Global(HR, AbsAppl(HR + 2)); \
HR += 2; \
*HR = (CELL) func; \
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
{ int i; \
for (i = 1; i <= func_arity; i++) \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(i)] = (CELL) (HR + i); \
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
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
HR += 1 + func_arity; \
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
next_trie_instruction(node)
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_var_(in_pair_)instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_var_instr() \
if (heap_arity) { \
int i; \
CELL var = aux_stack[HEAP_ENTRY(1)]; \
RESET_VARIABLE(var); \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity - 1; \
for (i = 2; i <= heap_arity; i++) \
TOP_STACK[HEAP_ENTRY(i - 1)] = aux_stack[HEAP_ENTRY(i)]; \
aux_stack[VARS_ARITY_ENTRY - 1] = vars_arity + 1; \
aux_stack[VARS_ENTRY(vars_arity + 1)] = var; \
next_instruction(heap_arity - 1 || subs_arity, node); \
} else { \
CELL var = aux_stack[SUBS_ENTRY(1)]; \
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 0; \
aux_stack[VARS_ARITY_ENTRY - 1] = vars_arity + 1; \
aux_stack[VARS_ENTRY(vars_arity + 1)] = var; \
next_instruction(subs_arity - 1, node); \
}
#define aux_stack_var_in_pair_instr() \
if (heap_arity) { \
int i; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(1)] = (CELL) (HR + 1); \
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
for (i = 2; i <= heap_arity; i++) \
TOP_STACK[HEAP_ENTRY(i)] = aux_stack[HEAP_ENTRY(i)]; \
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-2]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 1; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(1)] = (CELL) (HR + 1); \
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
} \
aux_stack[VARS_ARITY_ENTRY - 1] = vars_arity + 1; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
aux_stack[VARS_ENTRY(vars_arity + 1)] = (CELL) HR; \
RESET_VARIABLE((CELL) HR); \
HR += 2; \
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
next_trie_instruction(node)
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
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
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
** aux_stack_val_(in_pair_)instr **
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
************************************************************************/
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
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
#define aux_stack_val_instr() \
if (heap_arity) { \
CELL aux_sub, aux_var; \
aux_sub = aux_stack[HEAP_ENTRY(1)]; \
aux_var = aux_stack[VARS_ENTRY(var_index + 1)]; \
if (aux_sub > aux_var) { \
Bind_Global((CELL *) aux_sub, aux_var); \
} else { \
RESET_VARIABLE(aux_sub); \
Bind_Local((CELL *) aux_var, aux_sub); \
aux_stack[VARS_ENTRY(var_index + 1)] = aux_sub; \
} \
TOP_STACK = &aux_stack[1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity - 1; \
next_instruction(heap_arity - 1 || subs_arity, node); \
} else { \
CELL aux_sub, aux_var; \
aux_sub = aux_stack[SUBS_ENTRY(1)]; \
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
aux_var = aux_stack[VARS_ENTRY(var_index + 1)]; \
if (aux_sub > aux_var) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
if ((CELL *) aux_sub <= HR) { \
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
Bind_Global((CELL *) aux_sub, aux_var); \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
} else if ((CELL *) aux_var <= HR) { \
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
Bind_Local((CELL *) aux_sub, aux_var); \
} else { \
Bind_Local((CELL *) aux_var, aux_sub); \
aux_stack[VARS_ENTRY(var_index + 1)] = aux_sub; \
} \
} else { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
if ((CELL *) aux_var <= HR) { \
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
Bind_Global((CELL *) aux_var, aux_sub); \
aux_stack[VARS_ENTRY(var_index + 1)] = aux_sub; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
} else if ((CELL *) aux_sub <= HR) { \
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
Bind_Local((CELL *) aux_var, aux_sub); \
aux_stack[VARS_ENTRY(var_index + 1)] = aux_sub; \
} else { \
Bind_Local((CELL *) aux_sub, aux_var); \
} \
} \
next_instruction(subs_arity - 1, node); \
support for trie compact lists
2009-06-24 20:04:16 +01:00
}
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
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
#define aux_stack_val_in_pair_instr() \
if (heap_arity) { \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Bind_Global((CELL *) aux_stack[HEAP_ENTRY(1)], AbsPair(HR)); \
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
} else { \
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
YapBind((CELL *) aux_stack[SUBS_ENTRY(1)], AbsPair(HR)); \
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
aux_stack[SUBS_ARITY_ENTRY] = subs_arity - 1; \
TOP_STACK = &aux_stack[-1]; \
TOP_STACK[HEAP_ARITY_ENTRY] = 1; \
} \
{ CELL aux_sub, aux_var; \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
aux_sub = (CELL) HR; \
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
aux_var = aux_stack[VARS_ENTRY(var_index + 1)]; \
if (aux_sub > aux_var) { \
Bind_Global((CELL *) aux_sub, aux_var); \
} else { \
RESET_VARIABLE(aux_sub); \
Bind_Local((CELL *) aux_var, aux_sub); \
aux_stack[VARS_ENTRY(var_index + 1)] = aux_sub; \
} \
} \
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
TOP_STACK[HEAP_ENTRY(1)] = (CELL) (HR + 1); \
HR += 2; \
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
next_trie_instruction(node)
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
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
/************************************************************************
** Trie instructions **
************************************************************************/
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
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
PBOp(trie_do_var, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
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
aux_stack_var_instr();
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
ENDPBOp();
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
PBOp(trie_trust_var, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_var_instr();
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
ENDPBOp();
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
PBOp(trie_try_var, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
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
store_trie_node(TrNode_next(node));
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
aux_stack_var_instr();
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
ENDPBOp();
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
PBOp(trie_retry_var, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
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
restore_trie_node(TrNode_next(node));
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
aux_stack_var_instr();
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
ENDPBOp();
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
PBOp(trie_do_var_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
aux_stack_var_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_do_var_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_trust_var_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_var_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_var_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_var_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
store_trie_node(TrNode_next(node));
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
aux_stack_var_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_var_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_var_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
restore_trie_node(TrNode_next(node));
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
aux_stack_var_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_var_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_do_val, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
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
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
aux_stack_val_instr();
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
ENDPBOp();
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
PBOp(trie_trust_val, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
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
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_val_instr();
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
ENDPBOp();
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
PBOp(trie_try_val, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
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
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
store_trie_node(TrNode_next(node));
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
aux_stack_val_instr();
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
ENDPBOp();
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
PBOp(trie_retry_val, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
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
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
restore_trie_node(TrNode_next(node));
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
aux_stack_val_instr();
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
ENDPBOp();
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
PBOp(trie_do_val_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
aux_stack_val_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_do_val_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_trust_val_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_val_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_val_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_val_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
support for trie compact lists
2009-06-24 20:04:16 +01:00
store_trie_node(TrNode_next(node));
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
aux_stack_val_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_val_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_val_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
int var_index = VarIndexOfTableTerm(TrNode_entry(node));
support for trie compact lists
2009-06-24 20:04:16 +01:00
restore_trie_node(TrNode_next(node));
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
aux_stack_val_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_val_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_do_atom, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = TrNode_entry(node);
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
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
aux_stack_term_instr();
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
ENDPBOp();
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
PBOp(trie_trust_atom, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = TrNode_entry(node);
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
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_term_instr();
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
ENDPBOp();
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
PBOp(trie_try_atom, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = TrNode_entry(node);
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
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
store_trie_node(TrNode_next(node));
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
aux_stack_term_instr();
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
ENDPBOp();
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
PBOp(trie_retry_atom, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = TrNode_entry(node);
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
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
restore_trie_node(TrNode_next(node));
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
aux_stack_term_instr();
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
ENDPBOp();
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
PBOp(trie_do_atom_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
aux_stack_term_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_do_atom_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_trust_atom_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_term_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_atom_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_atom_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
store_trie_node(TrNode_next(node));
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
aux_stack_term_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_atom_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_atom_in_pair, e)
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
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
restore_trie_node(TrNode_next(node));
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
aux_stack_term_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_atom_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_do_null, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
aux_stack_null_instr();
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
ENDPBOp();
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
PBOp(trie_trust_null, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_null_instr();
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
ENDPBOp();
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
PBOp(trie_try_null, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
store_trie_node(TrNode_next(node));
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
aux_stack_null_instr();
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
ENDPBOp();
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
PBOp(trie_retry_null, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
restore_trie_node(TrNode_next(node));
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
aux_stack_null_instr();
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
ENDPBOp();
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
PBOp(trie_do_null_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
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
aux_stack_new_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_do_null_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_trust_null_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_new_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_null_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_null_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
store_trie_node(TrNode_next(node));
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
aux_stack_new_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_null_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_null_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
restore_trie_node(TrNode_next(node));
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
aux_stack_new_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_null_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
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
ENDPBOp();
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
PBOp(trie_do_pair, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
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
aux_stack_pair_instr();
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
ENDPBOp();
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
PBOp(trie_trust_pair, e)
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_pair, e)
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
store_trie_node(TrNode_next(node));
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
aux_stack_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_pair, e)
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
restore_trie_node(TrNode_next(node));
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
aux_stack_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_do_appl, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
Functor func = (Functor) RepAppl(TrNode_entry(node));
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
int func_arity = ArityOfFunctor(func);
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
aux_stack_appl_instr();
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
ENDPBOp();
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
PBOp(trie_trust_appl, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
Functor func = (Functor) RepAppl(TrNode_entry(node));
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
int func_arity = ArityOfFunctor(func);
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_appl_instr();
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
ENDPBOp();
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
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
PBOp(trie_try_appl, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
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
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
store_trie_node(TrNode_next(node));
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
aux_stack_appl_instr();
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
ENDPBOp();
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
PBOp(trie_retry_appl, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
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
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
restore_trie_node(TrNode_next(node));
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
aux_stack_appl_instr();
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
ENDPBOp();
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
PBOp(trie_do_appl_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
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
aux_stack_appl_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_do_appl_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_trust_appl_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
pop_trie_node();
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
aux_stack_appl_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_appl_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_try_appl_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
store_trie_node(TrNode_next(node));
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
aux_stack_appl_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_appl_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_retry_appl_in_pair, e)
#ifdef TRIE_COMPACT_PAIRS
support for trie compact lists
2009-06-24 20:04:16 +01:00
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
Functor func = (Functor) RepAppl(TrNode_entry(node));
int func_arity = ArityOfFunctor(func);
restore_trie_node(TrNode_next(node));
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
aux_stack_appl_in_pair_instr();
support for trie compact lists
2009-06-24 20:04:16 +01:00
#else
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
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_appl_in_pair: invalid instruction");
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
#endif /* TRIE_COMPACT_PAIRS */
support for trie compact lists
2009-06-24 20:04:16 +01:00
ENDPBOp();
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
PBOp(trie_do_extension, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
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
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
aux_stack_extension_instr();
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
ENDPBOp();
PBOp(trie_trust_extension, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
support for trie compact lists
2009-06-24 20:04:16 +01:00
pop_trie_node();
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
aux_stack_extension_instr();
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
ENDPBOp();
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
PBOp(trie_try_extension, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
store_trie_node(TrNode_next(node));
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
aux_stack_extension_instr();
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
ENDPBOp();
PBOp(trie_retry_extension, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
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
restore_trie_node(TrNode_next(node));
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
aux_stack_extension_instr();
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
ENDPBOp();
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
PBOp(trie_do_double, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
fix aliasing warning.
2011-02-15 18:40:34 +00:00
volatile union {
Float dbl;
Term ts[SIZEOF_DOUBLE/SIZEOF_INT_P];
} td;
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
Term t;
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
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
#if SIZEOF_DOUBLE == 2 * SIZEOF_INT_P
fix aliasing warning.
2011-02-15 18:40:34 +00:00
td.ts[0] = aux_stack[HEAP_ENTRY(1)];
td.ts[1] = aux_stack[HEAP_ENTRY(3)]; /* jump the first extension mark */
fix garbage collector for dealing with float/longint trie instructions
2009-08-07 04:34:48 +01:00
heap_arity -= 4;
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
TOP_STACK = aux_stack = &aux_stack[4]; /* jump until the second extension mark */
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
#else /* SIZEOF_DOUBLE == SIZEOF_INT_P */
fix aliasing warning.
2011-02-15 18:40:34 +00:00
td.ts[0] = aux_stack[HEAP_ENTRY(1)];
fix garbage collector for dealing with float/longint trie instructions
2009-08-07 04:34:48 +01:00
heap_arity -= 2;
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
TOP_STACK = aux_stack = &aux_stack[2]; /* jump until the extension mark */
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
#endif /* SIZEOF_DOUBLE x SIZEOF_INT_P */
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
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity;
fix aliasing warning.
2011-02-15 18:40:34 +00:00
t = MkFloatTerm(td.dbl);
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
aux_stack_term_instr();
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
ENDPBOp();
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
BOp(trie_trust_double, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_double: invalid instruction");
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
ENDBOp();
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
BOp(trie_try_double, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_double: invalid instruction");
YENV may be an HW register (breaks some tabling code) All YAAM instructions are now brackedted, so Op introduced an { and EndOp introduces an }. This is because Ricardo assumes that. Fix attvars when COROUTING is undefined. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1516 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-17 14:10:42 +00:00
ENDBOp();
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
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
BOp(trie_retry_double, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_double: invalid instruction");
YENV may be an HW register (breaks some tabling code) All YAAM instructions are now brackedted, so Op introduced an { and EndOp introduces an }. This is because Ricardo assumes that. Fix attvars when COROUTING is undefined. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1516 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-17 14:10:42 +00:00
ENDBOp();
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
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
PBOp(trie_do_longint, e)
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
register ans_node_ptr node = (ans_node_ptr) PREG;
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
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = MkLongIntTerm(aux_stack[HEAP_ENTRY(1)]);
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
fix garbage collector for dealing with float/longint trie instructions
2009-08-07 04:34:48 +01:00
heap_arity -= 2;
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
TOP_STACK = aux_stack = &aux_stack[2]; /* jump until the extension mark */
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity;
aux_stack_term_instr();
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
ENDPBOp();
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
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
BOp(trie_trust_longint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_longint: invalid instruction");
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
ENDBOp();
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
- bug fixes in show_table/1. - new built-in predicate show_all_tables/0.
2009-06-17 17:14:16 +01:00
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
BOp(trie_try_longint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_longint: invalid instruction");
YENV may be an HW register (breaks some tabling code) All YAAM instructions are now brackedted, so Op introduced an { and EndOp introduces an }. This is because Ricardo assumes that. Fix attvars when COROUTING is undefined. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1516 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-17 14:10:42 +00:00
ENDBOp();
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
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
BOp(trie_retry_longint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_longint: invalid instruction");
YENV may be an HW register (breaks some tabling code) All YAAM instructions are now brackedted, so Op introduced an { and EndOp introduces an }. This is because Ricardo assumes that. Fix attvars when COROUTING is undefined. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1516 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-17 14:10:42 +00:00
ENDBOp();
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
support for tabling of bignums and strings
2014-01-17 09:39:29 +00:00
PBOp(trie_do_bigint, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
register CELL *aux_stack = TOP_STACK;
int heap_arity = aux_stack[HEAP_ARITY_ENTRY];
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
Term t = AbsAppl((CELL*)aux_stack[HEAP_ENTRY(1)]);
heap_arity -= 2;
TOP_STACK = aux_stack = &aux_stack[2]; /* jump until the extension mark */
TOP_STACK[HEAP_ARITY_ENTRY] = heap_arity;
aux_stack_term_instr();
ENDPBOp();
BOp(trie_trust_bigint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_trust_bigint: invalid instruction");
ENDBOp();
BOp(trie_try_bigint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_try_bigint: invalid instruction");
ENDBOp();
BOp(trie_retry_bigint, e)
Yap_Error(INTERNAL_ERROR, TermNil, "trie_retry_bigint: invalid instruction");
ENDBOp();
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
PBOp(trie_do_gterm, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
register CELL *aux_stack = TOP_STACK;
int heap_arity = 0;
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
TOP_STACK = exec_substitution((gt_node_ptr)TrNode_entry(node), aux_stack);
next_instruction(subs_arity - 1 , node);
ENDPBOp();
PBOp(trie_trust_gterm, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = 0;
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
pop_trie_node();
TOP_STACK = exec_substitution((gt_node_ptr)TrNode_entry(node), aux_stack);
next_instruction(subs_arity - 1 , node);
ENDPBOp();
PBOp(trie_try_gterm, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
register CELL *aux_stack = TOP_STACK;
int heap_arity = 0;
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
store_trie_node(TrNode_next(node));
TOP_STACK = exec_substitution((gt_node_ptr)TrNode_entry(node), aux_stack);
next_instruction(subs_arity - 1, node);
ENDPBOp();
PBOp(trie_retry_gterm, e)
register ans_node_ptr node = (ans_node_ptr) PREG;
register CELL *aux_stack = (CELL *) (B + 1);
int heap_arity = 0;
int vars_arity = aux_stack[VARS_ARITY_ENTRY];
int subs_arity = aux_stack[SUBS_ARITY_ENTRY];
restore_trie_node(TrNode_next(node));
TOP_STACK = exec_substitution((gt_node_ptr)TrNode_entry(node), aux_stack);
next_instruction(subs_arity - 1, node);
ENDPBOp();
Reference in New Issue Copy Permalink