[plt-scheme] Datalog in PLT Scheme

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