Проблема при попытке определить оператор в Прологе

Я определил файл пролога со следующим кодом:

divisible(X, Y) :-
    X mod Y =:= 0.

divisibleBy(X, Y) :-
    divisible(X, Y).

op(35,xfx,divisibleBy).

Prolog жалуется, что

' $ record_clause '/ 2: нет разрешения на изменение static_procedure `op / 3'

Что я делаю не так? Я хочу определить оператор divisibleBy, который позволит мне писать такой код:

4 divisibleBy 2

Спасибо.