[mercury-users] dynamic database library?

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Aug 2 21:18:03 AEST 1998

On 31-Jul-1998, Don Smith <dsmith at cs.waikato.ac.nz> wrote:
> I often find myself wanting to have the functionality of Prolog's 
> dynamic database (assert, retract), with multi-argument indexing
> (as in XSB).     It would be useful if Mercury had good libraries
> for just this sort of thing.  Maybe you could provide an interface
> to Mercury's internal database routines.

Could you be a bit more specific about the kind of interface you're
looking for?  For example, why doesn't the `map' data type in the
Mercury standard library satisfy your needs?

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at        |     -- the last words of T. S. Garp.

More information about the users mailing list