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

Availability::- use_module(library(pairs)).(can be autoloaded)
Source[det]pairs_values(+Pairs, -Values)
Remove the keys from a list of Key-Value pairs. Same as pairs_keys_values(Pairs, _, Values)
ClioPatria (version V3.1.1-51-ga0b30a5)