Я несколько раз встречал пары ключ-значение в документе 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].
И если это стандартно, есть ли какая-то польза от их использования? В чем их интерес? Заранее спасибо :)