Problem, wenn ein Operator in Prolog zu definieren versuchen

Question

Ich habe eine Prolog-Datei mit dem folgenden Code definiert:

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

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

op(35,xfx,divisibleBy). 

Prolog reklamiert und

'$ record_clause'/2: Keine Erlaubnis modify static_procedure `op/3 '

Was mache ich falsch? Ich möchte einen DivisibleBy-Operator definieren, der es mir ermöglicht, einen Code wie den folgenden zu schreiben:

4 divisibleBy 2 

Danke.

Answer 1

Verwenden

:- op(35,xfx,divisibleBy). 

:- sagt der Prolog-Interpreter die nächste Wahlperiode zu bewerten, während das Laden der Datei, also ein Prädikat Anruf tätigen, anstatt sie als eine Definition der Behandlung (in diesem Fall eine Neudefinition von op/3).

Answer 2

Die answer given by @larsmans ist genau in Bezug auf Ihr ursprüngliches Problem.

Sie sollten jedoch überdenken, wenn Sie einen neuen Operator definieren sollten.

Im Allgemeinen würde ich dringend abraten Definition neue Betreiber aus den folgenden Gründen:

• Der Gewinn an Lesbarkeit oft überschätzt wird.
• Es kann leicht zu neuen Problemen an Stellen führen, an denen Sie normalerweise keinen Buggy erwarten würden.
• Es "skaliert" nicht gut: eine kleine Anzahl von Operatoren kann Code auf Präsentationsfolien superpräzise gestalten, aber was ist, wenn Sie im Laufe der Zeit mehr Gewerkschaftsfälle diskriminieren? Mehr Betreiber?