in XSB. A Prolog DB is Prolog term that represents a set of rules. Users
can create sets of rules, pass them aroung, and call goals in them.
These Prolog DBs are represented as a Prolog term which implements a trie,
with hash tables at each branch point. They are asymptotically quite
efficient. See documentation in User Manual 2 under Libraries.
