A.33 library(pairs): Operations on key-value lists
All Application Manual Name SummaryHelp

Availability::- use_module(library(pairs)).(can be autoloaded)
Source[det]pairs_keys_values(?Pairs, ?Keys, ?Values)
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.

See also
pairs_values/2 and pairs_keys/2.