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.