As in maplist/2, but operating on pairs of elements from the two lists. In this case, the Goal will consume a couple of elements each time, one from each list.