Prologを用いてリストの最小値の探索とそれが何番目にあるかを表示したい。

Question

getminth([],M,N).
getminth([L1|L2],M,N):-
    getminth(L2,L1,1,M,N).
getminth([],M1,N1,M,N).
getminth([L1|L2],M1,N1,M,N):-
    N2 is N1+1, M1 > L1, M is L1, N is N2, getminth(L2,L1,N2,M,N).
getminth([L1|L2],M,N,M1,N1):-
    N2 is N1+1, getminth(L2,M1,N2,M1,N2).

このようにコードを書きましたが、実装できていません。
Mで最小値を、Pで何番目かを表示したいです。

Comments

[jimbe]

prolog のご質問で java や python のタグをお付けになっているのは何故でしょう。

[melian]

SWI Prolog であれば、

idxmin(List, Min, Idx) :- min_member(@=<, Min, List), nth0(Idx, List, Min).

でしょうか。最小値が複数ある場合は、最初の最小値のみになりますけれども。

[xebme]

以下に様々な回答があります。
https://stackoverflow.com/questions/3965054/prolog-find-minimum-in-a-list
最近のSWIはfoldlが使えるという情報もあります

[mt0503xx]

ありがとうございます。
min_member、nth0などの述語を使わずに作成したいです。。。

[xebme]

https://teratail.com/questions/346100
関数型言語のfoldlを使うとすれば、アキュムレータとしてタプル
(最小値,最小値の要素番号,現在の要素番号)
を用意してリストの要素を順に処理し最後に(最小値,最小値の要素番号)を採用します

[xebme]

ただし最小値が複数ある場合、判定条件に応じて先頭か末尾の最小値が得られます。複数ある場合は、Prologのユニフィケーションが得意なのでは。

Answer 1

再帰を使う

M,N,Sをそれぞれ、最小値、最小値の要素番号、現在の要素番号としています。最小値が複数ある場合は最後の要素番号Nを求めます。

min(A,_,A,Z,A,Z).
min(A,_,B,Z,B,Z) :- B < A.
min(A,Z,B,_,A,Z) :- A < B.

getminth([X],X,S,S).
getminth([X|XS],M,N,S) :- S1 is S+1, getminth(XS,M1,N1,S1), min(X,S,M1,N1,M,N).

参考にしたのはSeven Languages: Week 3 (Prolog) - Day 2です。
Bruce Tateの『7つの言語7つの世界』のprologの2日目の課題から検索しました。

このようにすると、最小値が複数ある場合に最初の要素番号Nを求めます。

min(A,Z,A,_,A,Z).
min(A,_,B,Z,B,Z) :- B < A.
min(A,Z,B,_,A,Z) :- A < B.

Comments

[xebme]

述語を使ってはいけない ... 。