login
A.18 library(pairs): Operations on key-value lists
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(pairs)).(can be autoloaded)
[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.
Powered by SWI-Prolog 6.3.15