Datalog: Warum wird (X == Falsch) & (Y == nicht (X)) nicht ausgewertet?

Question

Ich benutze pyDatalog (in Python 2.7). Unter Verwendung einer arithmetischen Funktion wie +, kann ich auf eine frühere gebundene Variable beziehen:

>>> (X==1) & (Y==X+1) 
[(1, 2)] 

Aber ich kann nicht die Booleschen not Betreiber die gleiche Art und Weise verwenden:

>>> not(False) 
True 
>>> (X==False) & (Y==not(X)) 
    File "<stdin>", line 1 
    (X==False) & (Y==not(X)) 
        ^
SyntaxError: invalid syntax 
>>> 

Answer 1

es ist Operatorpräzedenz in Python

(Y == (not(X)) 

oder

(Y == not X) 

Answer 2

Sie können einen benutzerdefinierten Resolver verwenden:

from pyDatalog import pyDatalog 

@pyDatalog.predicate() 
def not_2(X,Y): 
    if X.is_const(): 
     yield (X.id, not(X.id)) 
    elif Y.is_const(): 
     yield (not(Y.id), Y.id) 

@pyDatalog.program() 
def _(): 
    print ((X==False) & (not_(X,Y)))