[plt-scheme] Re: PLT Scheme - Datalog

From: jeeve (jvjulien at free.fr)
Date: Thu Jul 9 06:01:45 EDT 2009

OK, thanks !

On 8 juil, 18:48, Jay McCarthy <jay.mccar... at gmail.com> wrote:
> Hello,
>
> As Shriram mentions, I only support Pure Datalog. For more information, see
>
> What You Always Wanted to Know About Datalog (And Never Dared to Ask)
> by Stefano Ceri, Georg Gottlob, and Letizia Tanca
>
> Jay
>
>
>
> On Wed, Jul 8, 2009 at 4:01 AM, jeeve<jvjul... at free.fr> wrote:
> > hello,
>
> > I would like use "NOT" predicate as
>
> > woman(F) :- father(_,F), not(man(F)), not(husband(_,F))"
>
> > but the Datalog language in package "jaymccarthy/datalog.plt 1.2"
> > don't recognize this expression
>
> > Thanks for your help
>
> > _________________________________________________
> >  For list-related administrative tasks:
> >  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> --
> Jay McCarthy <j... at cs.byu.edu>
> Assistant Professor / Brigham Young Universityhttp://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


Posted on the users mailing list.