Пролог - Переменная как оператор

Question

У меня есть оператор, хранящийся в переменной Op, и два целых числа хранятся в X и Y. Теперь я хочу сделать что-то вроде (Z - X Op Y), но этот синтаксис, кажется, не является правильным.

Кто-нибудь знает, есть ли способ сделать это в Прологе?

Спасибо за ваши ответы

Answer 1

вы можете сделать это, построив предикат с помощью оператора = ...

попробуйте это так:

compute(X,Y,Op,Z) :-
   Eq=..[Op, X, Y],
   Z is Eq.

Оператор действительно такой же, как любой другой функтор.

Answer 2

Вы можете имитировать эффект:

operator(Z,X,plus,Y):-Z is X + Y.  
operator(Z,X,times,Y):-Z is X * Y.

Я пробовал это на ideone.com для SWI-Prolog с:

OP=times, operator(Z,3,OP,8).

И я получил:

OP = times,
Z = 24.