problema cuando se trata de definir un operador en Prolog

Question

he definido un archivo de prólogo con el siguiente código:

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

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

op(35,xfx,divisibleBy). 

Prolog se queja de que

'$ record_clause'/2: No tiene permiso para modificar static_procedure `op/3 '

¿Qué estoy haciendo mal? Quiero definir un operador divisibleBy que me permita escribir código como el siguiente:

4 divisibleBy 2 

Thanks.

Answer 1

Uso

:- op(35,xfx,divisibleBy). 

:- le dice al intérprete de Prolog a evaluar el próximo mandato mientras se carga el archivo, es decir, hacer una llamada predicado, en lugar de tratarla como una definición (en este caso una redefinición de op/3)

Answer 2

El answer given by @larsmans es perfecto para su problema original.

Sin embargo, debe reconsiderar si debe definir un nuevo operador.

En general, yo aconsejaría fuertemente contra la definición de nuevos operadores por las siguientes razones:

• La ganancia en la legibilidad es a menudo sobrevalorado.
• Puede presentar fácilmente nuevos problemas en lugares que normalmente no esperarían con errores.
• No "escala" bien: un pequeño número de operadores puede hacer que el código en las diapositivas de presentación sea súper conciso, pero ¿qué sucede si agrega más casos de discriminación en el tiempo? Más operadores?