Multi-trie indexing for XSB system.