0

我知道这里的一些问题与此类似，但我缺乏经验，我不知道如何使用它们并将解决方案转换为我的问题；/

我有一个列表，里面有列表，比如这个：

[ [5],[4,7],[1,2,7],[2,6,7],[2,4,6,7],[2,4,7],[9,8],[3],[1] ]

我需要知道例如数字 3 的索引。我需要知道的数字只会出现在列表列表中一次，这是调用该函数的先前条件。对于数字 3，我需要的索引是索引 9（从 1 开始）。我有一个函数的草稿：

given_elem_finds_pos(ListOfLists, Element, Pos):-
    nth1(Pos, ListOfLists, [Element|_]).

但它仅在 Element 是子列表的头部时才返回 Pos。我需要知道如何获得例如数字 8 的索引。

然后我做了这个：

given_elem_finds_pos( [[H|T]| R], Element, Ind):-
member(Element, [H|T]),
Ind1 is Ind + 1,
given_elem_finds_pos(R, Element, Ind1).

但同样，没有成功..有人可以帮忙吗？非常感谢！

4

1 回答 1

0

您的第二种方法正朝着正确的方向发展。想想你想描述什么：如果Element是[H|T]你想要停止的一个元素，因此，这里不需要递归调用。此外，您想返回当前索引，因此您需要一个额外的参数（一个用于计数器，一个用于最终索引）。Element对于不是列表元素的情况，需要递归子句。这是它是一个元素的情况的条款

 given_elem_finds_pos( [List| R], Element, Solution,Solution):-
        member(Element, List).

由于您必须添加额外的参数，因此您需要一个额外的谓词来调用您的扩展谓词：

given_elem_finds_pos(ListOfLists, Element, Ind):-
        given_elem_finds_pos(ListOfLists, Element,0, Solution).

现在您只需要为 再写一个子句given_elem_finds_pos/4，一个用于“它不是元素”情况的递归子句。问一下，如果你写这个条款有困难。

于 2017-05-11T00:26:11.530 回答