Re: [racket-users] Datalog questions

2015-09-18 Thread Jay McCarthy
On Thu, Sep 17, 2015 at 4:07 PM, Eduardo Bellani wrote: > > Hello Jay, > > Thanks, I've figured out the raco incantation beforehand. I should've > read more about the docs before asking. > > One other question that slipped my mind before, about wildcards. Let's > take this example again: > > > (d

Re: [racket-users] Datalog questions

2015-09-17 Thread Eduardo Bellani
Hello Jay, Thanks, I've figured out the raco incantation beforehand. I should've read more about the docs before asking. One other question that slipped my mind before, about wildcards. Let's take this example again: (define *db* (make-theory)) (datalog *db* ;; shareholders

Re: [racket-users] Datalog questions

2015-09-17 Thread Jay McCarthy
I would do "raco pkg update --clone datalog" from "$PLTHOME/extra-pkgs" Jay On Thu, Sep 17, 2015 at 2:05 PM, Eduardo Bellani wrote: > > Hello Jay, thanks for your time. > > I'll try the update asap. One question to anyone, what would the the > canonical way of fetching such an update in racket's

Re: [racket-users] Datalog questions

2015-09-17 Thread Eduardo Bellani
Hello Jay, thanks for your time. I'll try the update asap. One question to anyone, what would the the canonical way of fetching such an update in racket's package system? Jay McCarthy writes: > On Wed, Sep 16, 2015 at 2:50 PM, Eduardo Bellani wrote: >> Hello list >> >> I'm trying to use rack

Re: [racket-users] Datalog questions

2015-09-17 Thread Jay McCarthy
On Wed, Sep 16, 2015 at 2:50 PM, Eduardo Bellani wrote: > Hello list > > I'm trying to use racket's implementation of datalog as a query language > for a small database (5 gb). I'm running into some problems that I'd > appreciate your help with: > > * Is there support for negating a subgoal? E.g:

[racket-users] Datalog questions

2015-09-16 Thread Eduardo Bellani
Hello list I'm trying to use racket's implementation of datalog as a query language for a small database (5 gb). I'm running into some problems that I'd appreciate your help with: * Is there support for negating a subgoal? E.g: [1] Get the names of employees who do not work on any project. tem