Debes utilizar el predicado incorporado call/* que recibe como primer argumento un término que se puede llamar, y el resto de argumentos son los parámetros con los que llamar a dicho término.
?- X = <, call(X, 1, 2).
X = <.
?- X = >, call(X, 1, 2).
false.
En tu caso, el predicado que buscas sería algo así:
menor(A, B, Comp, A) :- call(Comp, A, B), !.
menor(_, B, _, B).
Cuando A
es menor que B
según el criterio Comp
, el call/3
de la primera cláusula tiene éxito y !/0
corta la reevalaución del predicado menor/4
. En cualquier otro caso, call/3
falla y por lo tanto B
es el menor (segunda cláusula).
Por ejemplo:
?- menor(1,2,<,X).
X = 1.
?- menor(1,2,>,X).
X = 2.