Prolog - Variable comme opérateur

Question

J'ai un opérateur stocké dans une variable Op et deux entiers sont stockés dans X et Y. Maintenant, je veux faire quelque chose comme (Z est X Op Y), mais cette syntaxe ne semble pas être correct.

Est-ce que quelqu'un sait s'il existe un moyen de le faire dans Prolog?

Merci pour vos réponses

Answer 1

vous pouvez n le faire en construisant le prédicat en utilisant l'opérateur = ..

l'essayer comme:

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

Un opérateur est vraiment comme tout autre foncteur.

Answer 2

Vous pouvez mimer l'effet:

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

J'ai essayé sur ideone.com pour SWI-Prolog avec:

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

Et je suis arrivé:

OP = times, 
Z = 24.