[racket] Datalog extensions

On Dec 30, 2013, at 12:01 AM, Evan Donahue <emdonahu at gmail.com> 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 onto the available datalog syntactic abstractions even with the racket interop extensions. Issues include:
> 
> - table names unknown until runtime
> - difficulty abstracting common use patterns due to an ostensibly inadequate mental model of the interplay between syntax expansion and the datalog machinery
> 
> What I would like to know is whether people would be open to a patch that exposed a runtime api for modifying theories for use in hooking into alternative interfaces/syntaxes, and, if so, whether anyone had any extant thoughts on the best way to fit that into the current code.


Evan, I am sure Jay would be happy to work with you. Have you considered using cKanren instead? It's also a logic language (though parenthesized) and exposes this incremental API that you seem to be looking for. -- Matthias