Open TeamSPoon opened 8 years ago
O_TRIE - Extension of O_HT_BLOB
create a few levels deep of HTs ..
if i want to store p(q(r,A,B,t),C) = foo.
p(q(r,A,B,t),C) = foo
I create this linked tree
p/2 -> q/4 -> r -> VAR1 -> VAR2 -> t -> VAR1 = foo
Note: Each level of compound may have its own private var numbering
?- ht_nb_putval_trie($X,p(q(r,A,B,t),C) ,foo). ?- ht_current_kvs($X,K,V). K = p(_G6330,_G6331), V = <hashtable_with_grefs>(0x15e08c8) ?- ht_current_kvs($V,K,V1). K = q(_G6331,_G6332,_G6333,_G6334), V1 = <hashtable_with_grefs>(0x17370a0)
O_TRIE - Extension of O_HT_BLOB
create a few levels deep of HTs ..
if i want to store
p(q(r,A,B,t),C) = foo.I create this linked tree
Note:
Each level of compound may have its own private var numbering