Did you know ... Search Documentation:
Predicate map_list_to_pairs/3
Availability::- use_module(library(pairs)).(can be autoloaded)
Sourcemap_list_to_pairs(:Function, +List, -Keyed)
Create a Key-Value list by mapping each element of List. For example, if we have a list of lists we can create a list of Length-List using 
        map_list_to_pairs(length, ListOfLists, Pairs),

Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-05-02T13:35:48):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

So, if one considers pairs to as Key-Value, then

Function is a predicate of arity 2: Function(Value,Key)

For example for predicate length/2, on can read it as

length(ListAsValue,LengthAsKey):

Hence the example:

?-
map_list_to_pairs(length, [[a,b],[],[c,d,e],[f,g,h,i]], Pairs).

Pairs = [2-[a, b], 0-[], 3-[c, d, e], 4-[f, g, h, i]].