enable cross-query memoization in the tabling library

diff --git a/src/prolog/lib/tabling/table_link_manager.pl b/src/prolog/lib/tabling/table_link_manager.pl
index 90e498af4bc8acde6e7d5352df57e7a88a424acb..30a5bc6b31d75e6bcc589745d34190ac561d020a 100644 (file)
--- a/src/prolog/lib/tabling/table_link_manager.pl
+++ b/src/prolog/lib/tabling/table_link_manager.pl
@@ -73,9 +73,9 @@ put_new_trie_table_link :-
     (  bb_get(trie_table_link_initialized, _) ->
        true
     ;  trie_new(Trie),
-       bb_b_put(trie_table_link, TrieFlag),
-       bb_b_put(trie_table_link_initialized, []),
-       put_atts(TrieFlag, trie_table_link(Trie))
+       put_atts(TrieFlag, trie_table_link(Trie)),
+       bb_put(trie_table_link, TrieFlag),
+       bb_put(trie_table_link_initialized, [])
     ).
 
 get_trie_table_link(Trie) :-
@@ -104,7 +104,9 @@ p_existing_table(Variant, TableIdentifier) :-
 p_link_variant_identifier(Variant, TableIdentifier) :-
     get_trie_table_link(Trie),
     variant_canonical_representation(Variant, CanonicalRepresentation),
-    trie_insert_succeed(Trie, CanonicalRepresentation, TableIdentifier).
+    trie_insert_succeed(Trie, CanonicalRepresentation, TableIdentifier),
+    put_atts(TrieFlag, trie_table_link(Trie)),
+    bb_put(trie_table_link, TrieFlag).
 
 % Returns a list of existing table identifiers.
 % Rather costly.