[plt-scheme] PLT Scheme - Datalog

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