Prolog：查找列表中元素的最后一个索引

Question

假设我有一个列表 [1,2,1,3,2,0,8,3,1]，我想找到最后 3 个的索引，即 7, 如何在prolog中做到这一点？

Answer 1

像这样的东西

last(List, Needle, Ret) :- last1(List, Needle, 0, -1, Ret).

last1([H | T], N, Idx, Acc, Ret) :- Idx2 is Idx + 1, (H == N, !, last1(T, N, Idx2, Idx, Ret); last1(T, N, Idx2, Acc, Ret)).
last1([], _, _, Acc, Acc).

遍历整个列表，维护最后看到的针的索引。这是作业吗？