Prolog Language
операторы

Предопределенные операторы

Предопределенные операторы в соответствии с ISO / IEC 13211-1 и 13211-2:

Многие системы предоставляют дальнейшие операторы в качестве расширения, специфичного для реализации:

Объявление оператора

В Prolog пользовательские операторы могут быть определены с помощью op/3 :

op(+Precedence, +Type, :Operator)

• Объявляет оператора оператором типа с приоритетом. Оператор также может быть списком имен, и в этом случае все элементы списка объявляются одинаковыми операторами.

• Приоритет - целое число от 0 до 1200, где 0 удаляет объявление.

• Тип является одним из: xf , yf , xfx , xfy , yfx , fy или fx где f указывает положение функтора, а x и y указывают позиции аргументов. y обозначает термин с приоритетом, меньшим или равным приоритету функтора, тогда как x обозначает строго более низкий приоритет.

  • Префикс: fx , fy
  • xfx : xfx (не ассоциативный), xfy (правый ассоциативный), yfx (левый ассоциативный)
  • Postfix: xf , yf

Пример использования:

:- op(900, xf, is_true).

X_0 is_true :-
  X_0.

Пример запроса:

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

Срочный заказ

Два условия можно сравнить по стандартным заказам:

переменные @ <numbers @ <atom @ <строки @ <структуры @ <списки

Заметки:

• Структуры сначала сравниваются по функтору, а затем по арности и, наконец, по сравнению каждого аргумента.

• Списки сначала сравниваются по длине, затем по каждому элементу.

Примеры запросов:

?- 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.

Равномерность