[plt-scheme] PLT Scheme - Datalog

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<jvjulien 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 <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93