Prolog Language
operators

Vooraf gedefinieerde operators

Vooraf gedefinieerde operators volgens ISO / IEC 13211-1 en 13211-2:

Veel systemen bieden verdere operators als een implementatie-specifieke uitbreiding:

Operator verklaring

In Prolog kunnen aangepaste operators worden gedefinieerd met behulp van op/3 :

op(+Precedence, +Type, :Operator)

• Verklaart Operator tot operator van een Type met een Voorrang. Operator kan ook een lijst met namen zijn, in welk geval alle elementen van de lijst als identieke operators worden aangemerkt.

• Voorrang is een geheel getal tussen 0 en 1200, waarbij 0 de declaratie verwijdert.

• Type is een van: xf , yf , xfx , xfy , yfx , fy of fx waarbij f de positie van de functor aangeeft en x en y de posities van de argumenten aangeven. y geeft een term aan met een prioriteit lager of gelijk aan de prioriteit van de functor, terwijl x een strikt lagere prioriteit aangeeft.

  • Voorvoegsel: fx , fy
  • Infix: xfx (niet associatief), xfy (rechts associatief), yfx (links associatief)
  • Postfix: xf , yf

Voorbeeld gebruik:

:- op(900, xf, is_true).

X_0 is_true :-
  X_0.

Voorbeeldvraag:

?- dif(X, a) is_true.
dif(X, a).

Termijnbestelling

Twee termen kunnen worden vergeleken via de standaardbestelling:

variabelen @ <getallen @ <atomen @ <strings @ <structuren @ <lijsten

Opmerkingen:

• Structuren worden eerst alfabetisch op functor vergeleken, vervolgens op arity en ten slotte op basis van de vergelijking van elk argument.

• Lijsten worden eerst op lengte en vervolgens op elk element vergeleken.

Voorbeeldvragen:

?- alpha @< beta.
true.

?- alpha(1) @< beta.
false.

?- alpha(X) @< alpha(1).
true.

?- alpha(X) @=< alpha(Y).
true.

?- alpha(X) @> alpha(Y).
false.

?- compound(z) @< compound(inner(a)).
true.

Term gelijkheid