SWI -Prolog -Fail to Assert

Я определяю оператор следующим образом:

:- op(500, xfx, =>).

Когда я пытаюсь что-то вроде:

assert(a => b).

Пролог выдает ошибку, которая гласит: «Нет разрешения на изменение статической _процедуры (=> )/2 '.

Есть решение?