This library is based on disussion in the SWI-Prolog mailinglist, including specifications from Quintus and a library proposal by Richard O'Keefe.
- pairs_keys_values(?Pairs, ?Keys, ?Values) is det
- True if Keys holds the keys of Pairs and Values the values.
Deterministic if any argument is instantiated to a finite list and the others are either free or finite lists. All three lists are in the same order.
The following predicates are exported, but not or incorrectly documented.