[plt-scheme] PLT Scheme - Datalog

The underlying Datalog engine does not support stratification, so
Jay's interface to it presumably does not either.

On Wed, Jul 8, 2009 at 6: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
>