Saper - brak możliwości skompilowania, błąd 'Syntax error:operator_expected'

rozpoznaj(Pola,Ograniczenia,Pole,Decyzja) :-
    (    \+ \+ mozliwe(Pola, Ograniczenia, Pole, 1)
    ->    (    \+ \+ mozliwe(Pola, Ograniczenia, Pole, 0)
        ->    Decyzja = nie_wiem
        ;    Decyzja = mina)
    ;    (    \+ \+ mozliwe(Pola, Ograniczenia, Pole, 0)
        ->    Decyzja = puste
        ;    Decyzja = sprzeczosc)).

mozliwe(Pola, Ograniczenia, Pole, Wartosc) :-
    fd_domain_bool(Pola),
    call(Ograniczenia),
    Pole #= Wartosc, -- TUTAJ WYSKAKUJE BŁĄD
    fd_labeling(Pola).