Does SWI-Prolog index on 2nd arguments? The section on JITI mentions “first argument” a number of times.
jiti_list/0 doesn’t seem to list the special case of
(From a quick look at the VM instructions generated by
apply:maplist_/3 and a naive version that leaves the Goal as the first argument, I’m guessing that there is 2nd argument indexing.)