Re: [racket] Datalog extensions

2013-12-31 Thread Jay McCarthy
Hi Evan, I was planning on working on this per your previous email to the list. Basically all that needs to be done is document datalog/runtime and maybe provide some helpers for constructing queries via datalog/ast. The runtime is very simple: (provide/contract [safe-clause? (clause? . -> . b

Re: [racket] Datalog extensions

2013-12-30 Thread Matthias Felleisen
On Dec 30, 2013, at 12:01 AM, Evan Donahue wrote: > Hello, > > I am curious about the current status and future plans for the datalog > package. I am working on an interactive system that uses datalog for its > internal data storage, and am finding it difficult to map dynamic user > actions

[racket] Datalog extensions

2013-12-29 Thread Evan Donahue
Hello, I am curious about the current status and future plans for the datalog package. I am working on an interactive system that uses datalog for its internal data storage, and am finding it difficult to map dynamic user actions onto the available datalog syntactic abstractions even with the rack