查找列表中最小元素的索引&在Prolog中获取另一个列表中相应索引位置的元素

Question

我试图找到列表中最小元素的索引位置，并在另一个列表中的相应索引位置打印该元素。

例如：

?- min2(X,Y,[a,b,c],[5,3,7]).
X= b
y= 3

代码：

min2(A,B,[A|_],[B|_]).
min2(A,B,[X|T1],[Y|T2]) :- smallest(W,[Y|T2]),  % using a predicate to find the min element in the list
                           B is W,              % setting B to the result of above(i.e the min element)
                           min2(A,B,T1,T2).     % looking up position corresponding to min element in list1

在列表中查找最小元素的谓词是：

smallest(Head, [Head]).
smallest(Element, [Head|Tail]) :- smallest(E, Tail), Head =< E, Element is Head.
smallest(Element, [Head|Tail]) :- smallest(E, Tail), E < Head , Element is E.

我得到的结果是：

X = a,
Y = 5 ;
X = b,
Y = 3 ;
false.

它也以某种方式选择第一个元素。我的基本情况可能是错误的？我尝试将基本情况更改为 min2(A,B,[A|_],[B|_]). 但它崩溃了。

请告诉我哪里出错了。

Answer 1

由于您首先编写了事实 (A,B,[A|_],[B|_]). ，因此它首先返回 2 个列表的头元素。
您需要修剪列表的头部，直到第二个列表的头部等于 B。一旦发现 list2 的头部等于 B，就需要返回 list1 的头部。

也许你想尝试这个：

min2(A,B,[A],[B]).  %base case
min2(A,B,[X|T1],[Y|T2]) :- smallest(W,[Y|T2]), B is W, min2(A,B,T1,T2), !. 
min2(A,B,[H1|T1],[H2|T2]):- B=:=H2 -> A = H1 ; min2(A,B,T1,T2).

无法尝试（因为我目前在工作）。但我认为应该是这样的。

Answer 2

为了给你更多的东西，我对最小的定义以相反的顺序，比如 min_list：

smallest([A], A).
smallest([A, B|C], D) :- A > B, smallest([B|C], D), !.
smallest([A, _|B], C) :- smallest([A|B], C).

我认为更简单（你的也是复制的，而不是你自己的代码）。相应的谓词是，就像我在 DaniWeb 上发布的那样：

corresponding(A, B, [A|_], [B|_]).
corresponding(A, B, [_|C], [_|D]) :-
    corresponding(A, B, C, D).

通过将这些结合到不言而喻的最小规则中，您将得到 min2 谓词。我的意思是你让事情变得过于复杂