problème lorsque vous essayez de définir un opérateur dans Prolog

Question

J'ai défini un fichier Prolog avec le code suivant:

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

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

op(35,xfx,divisibleBy). 

Prolog se plaint que

'$ record_clause'/2: Pas de permission pour modifier static_procedure `op/3 '

Qu'est-ce que je fais mal? Je veux définir un opérateur divisibleBy qui me permettra d'écrire le code comme suit:

4 divisibleBy 2 

Merci.

Answer 1

Utilisez

:- op(35,xfx,divisibleBy). 

:- dit l'interprète Prolog à évaluer le prochain mandat lors du chargement du fichier, à savoir faire un appel prédicat, au lieu de le traiter comme une définition (dans ce cas, une redéfinition de op/3).

Answer 2

Le answer given by @larsmans est parfait pour votre problème d'origine.

Toutefois, vous devez reconsidérer si vous devez définir un nouvel opérateur.

En général, je vous conseille vivement de ne pas définir de nouveaux opérateurs pour les raisons suivantes:

• Le gain en lisibilité est souvent surestimée.
• Il peut facilement introduire de nouveaux problèmes dans des endroits que vous n'attendriez pas normalement. Il ne «met pas à l'échelle» bien: un petit nombre d'opérateurs peut rendre le code sur les diapositives de présentation super concis, mais que se passe-t-il si vous ajoutez plus de cas de discrimination au fil du temps? Plus d'opérateurs?