[plt-scheme] Datalog in PLT Scheme
If you want a 'normal' database, use my sqlite package or Untyped's
Snooze library.
The Datalog package gives you a 'deductive' database, which can be
nice in some cases.
Jay
On Sun, Feb 15, 2009 at 7:26 AM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> Correct. The database is implemented in a serializable way, so
> theories can be saved with 'write' and 'read', but the library doesn't
> do any of that automatically.
>
> Jay
>
> On Sat, Feb 14, 2009 at 9:30 PM, e <eviertel at gmail.com> wrote:
>> the use of "database" in the docs references an "in memory only" database,
>> right? The whole set of facts and rules must be parsed or otherwise
>> "entered/programmed" into memory. There's no automatic disk backing, like a
>> BTree or relational database persisting stuff behind the scenes?
>>
>> Thanks.
>>
>> On Fri, Feb 13, 2009 at 6:08 PM, Jay McCarthy <jay.mccarthy at gmail.com>
>> wrote:
>>>
>>> I've just released a PLaneT package that adds Datalog as a language in
>>> DrScheme. It is called datalog.plt.
>>>
>>>
>>> http://planet.plt-scheme.org/display.ss?package=datalog.plt&owner=jaymccarthy
>>>
>>> Documentation is available online.
>>>
>>>
>>> http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/index.html
>>>
>>> In particular, check out the tutorial!
>>>
>>>
>>> http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/Tutorial.html
>>>
>>> Jay
>>>
>>> --
>>> Jay McCarthy <jay at cs.byu.edu>
>>> Assistant Professor / Brigham Young University
>>> http://teammccarthy.org/jay
>>>
>>> "The glory of God is Intelligence" - D&C 93
>>> _________________________________________________
>>> For list-related administrative tasks:
>>> http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>>
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
>
> "The glory of God is Intelligence" - D&C 93
>
--
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay
"The glory of God is Intelligence" - D&C 93