[Xsb-commits] SF.net SVN: XSB commit:[7966] trunk/XSB/lib

[<dw...@us...>]

Revision: 7966
          http://sourceforge.net/p/xsb/src/7966
Author:   dwarren
Date:     2014-05-04 21:57:31 +0000 (Sun, 04 May 2014)
Log Message:
-----------
A new set of routines that support creating and using "Prolog Databases"
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.

Added Paths:
-----------
    trunk/XSB/lib/prolog_db.H
    trunk/XSB/lib/prolog_db.P