Availability::- use_module(library(apply)).(can be autoloaded)
maplist(:Goal,
?List1, ?List2)True if Goal can succesfully be applied to all succesive
pairs of elements of List1 and List2.
maplist(:Pred,
?List1, ?List2)Apply Pred on all successive pairs of elements from List1
and List2. Fails if Pred can not be applied to a
pair. See the example above.