Пролог найти все должности в списке минимального элемента

Question

все! У меня возникли проблемы с поиском всех позиций вхождения элемента минимума в списке.

Мой исходный код выглядит так:

**

findPos([], _, []). 
findPos([_],_,[1]). 
findPos([H1|Tail], Pos, [Pos|Ta]):- 
% "Pos" is the current position in the list 
     findMin([H1|Tail], V), 
     V=[H1], 
     Pos2 is Pos+1, 
     findPos([Tail], Pos2, [Ta]). 

findPos([H1|Tail], Pos, [Ta]):- 
     findMin([H1|Tail], V), 
     not(V=[H1]), 
     Pos2 is Pos+1, 
     findPos([Tail], Pos2, [Ta]).** 

где findMin получает в качестве первого аргумента список и возвращается с использованием второго параметра, минимальный элемент этого списка , Проблема в том, что каждый входной список, который я бы дал (за исключением void, для которого ответ был []), ответ всегда 1 ... и я не вижу, что мне не хватает. Любой ответ будет оценил: D Спасибо!

Answer 1

Обратите внимание, что ваша программа каждый раз пересчитывает минимум list; поэтому список с [1,7,1,2,3] увидит [1,1,2,3] как список «минимумов». Кроме того, этот процесс довольно дорог.

Другой аспект заключается в том, что вы делаете некоторые синтаксические ошибки в отношении синтаксического сахара списков, что приведет к ошибкам.

Решение - это распространено в информатике - для решения проблем. Я предлагаю, чтобы findPos был нацелен только на поиск индексов данного предмета. Такой findPos/3 предикат может выглядеть следующим образом:

findPos(X,L,Is) :- 
    findPos(0,X,L,Is). 

findPos(_,_,[],[]). 
findPos(I,X,[Y|T],MIT) :- 
    (X == Y -> MIT = [I|IT];MIT=IT), 
    I1 is I+1, 
    findPos(I1,X,T,IT). 

Предикат использует аккумулятор I, который отслеживает индекс, и увеличивает каждый раз, когда индекс.

Теперь вам нужно сделать предикат, который находит индексы минимальных элементов:

findMinPos(L,Is) :- 
    findMin(L,M), 
    findPos(M,L,Is).