Что такое использование пар прологов в или вне списков

Question

Я несколько раз сталкивался с парами ключ-значение в документе SWI-PL, но не смог получить хорошую информацию о них.Это что-то стандартное в прологе или это расширение только для swi pl?В основном находится здесь: http://www.swi -prolog.org / pldoc / doc_for? Object = keysort / 2 и здесь: http://www.swi -prolog.org / pldoc / doc_for? Object = section% 282,% 27A.3% 27, swi% 28% 27 / doc / Manual / assoc.html% 27% 29% 29

Форма пар, например, a-5, или всписок [a-5, b-7].

И если это стандарт, есть ли какая-то дополнительная ценность, чтобы использовать их?В чем их интерес?Заранее спасибо:)

Answer 1

Возможность использования сортировки ключей / 2 действительно является общей причиной выбора списка пар (с (-) / 2) в качестве представления. Это также удобная, короткая и удобочитаемая запись, и (-) / 2 уже является инфиксным оператором (да, «стандартным» в том смысле, что он предписан стандартом Prolog ISO). Использование (-) / 2-пар, конечно, не ограничивается комбинациями ключ-значение, другие примеры включают переменную id, переменную - «число ее вхождений в члене» и т. Д., Где бы вы ни представляли двоичную ассоциацию , Часто другие операторы более интуитивно понятны для представления таких ассоциаций, например, переменная = значение (вместо значения переменной), чтобы представить привязку переменной, или строка + строка для представления объединения.