获取列表中给定元素的索引

Question

我正在尝试解决一些基本的难题来学习序言。 我正在尝试使用递归获取列表中给定元素的索引。 我在尝试解决问题时遇到了困难，我不知道为什么。 当我执行它时，它只返回“false”而不是索引。

elem(_, [], 0).

elem(E, [E | T], RES) :-
    elem(E, T, CUR_RES), RES is CUR_RES + 1. 

我用来检查代码elem(2, [1, 2], X).的示例查询elem(2, [1, 2], X).

Answer 1

你的问题

elem(2, [1, 2], X).

是当它试图与基本情况统一时

 elem(_, [], 0).

它失败，因为第二个参数不为空。

当它试图与递归情况统一时

elem(E, [E | T], RES) :-
    elem(E, T, CUR_RES), 
    RES is CUR_RES + 1.

E是2 ，这要求列表是[2|T]但由于列表是[1,2]它也不能统一。

这更接近你想要的

elem(E,[E|_],0).

elem(E,[_|T],Res) :-
    elem(E,T,Cur_rest),
    Res is Cur_rest + 1.

示例运行：

?- elem(2, [1, 2], X).
X = 1 ;
false.

?- elem(1, [1, 2], X).
X = 0 ;
false.

?- elem(4, [1,2,3,4,5], X).
X = 3 ;
false.

您需要在基本情况而不是递归情况下对您正在寻找的值进行匹配。 完成此操作后，其余更改将根据需要进行。