Проблема определения нового оператора

Question

Я пытаюсь определить инфиксный оператор, но получаю ошибки. Я использую GNU Prolog 1.4.

Я попробовал это: [Пользователь]. op (35, xfx, =>). Ctrl-D

Но возникла ошибка "Невозможно переопределить процедуру родного кода op / 3 (игнорируется)"

Я также попробовал op (35, xfx, '=>'). и получил ту же ошибку, и попытался сделать это без ввода [пользователь]. во-первых, но когда я попытался использовать оператор, я получил ошибку

Answer 1

да, вам нужно запустить предикат, а не определять его.Для этого просто вставьте :- перед вашим op/3 вызовом.