SWI-Prolog: поиск второго минимума в списке

Question

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

secondMin([_]) :- 
    print("ERROR: List has fewer than two unique elements."), 
    !. 
secondMin(List, M2) :- 
    min_list(List, M1), 
    delete(List, M1, List1), 
    min_list(List1, M2). 

Выходной сигнал должен выглядеть следующим образом:

?- secondMin([17,29,11,62,37,53], M2). 
M2 = 17 
?- secondMin([512], M2). 
ERROR: List has fewer than two unique elements. 
?- secondMin([7,5.2,3,6,-3.6,9,-2], M2). 
M2 = -2 
?- secondMin([12,2,b,7], M2). 
ERROR: "b" is not a number. 
?- secondMin([3,3,3], M2). 
ERROR: List has fewer than two unique elements. 

Answer 1

Самый простой, но крайне важно, подход заключается в использовании maplist, чтобы определить, существуют ли какие-либо не номера. Затем используйте sort, чтобы получить уникальный, второй мин.

secondMin(L, M) :- 
    ( maplist(number, L) 
    -> ( sort(L, [_,Second|_]) 
     -> M = Second 
     ; print("List has fewer than two unique elements.") 
     ) 
    ; print("List has non-numeric elements") 
    ). 

---

Как @repeat отметил в своем комментарии, выше решение «наивный» в том смысле, что, хотя он производит правильный результат для действительного входа, он не имеет соответствующей обработки ошибок кроме отображения диагностического сообщения, но затем успешного.

Вот более тщательное выполнение которых поднимает на исключение, когда первый аргумент не определен, как и ожидалось:

secondMin(L, M) :- 
    ( ground(L) 
    -> ( is_list(L), 
      maplist(number, L) 
     -> ( sort(L, [_,Second|_]) 
      -> M = Second 
      ; throw('List has fewer than two unique elements') 
      ) 
     ; throw('First argument is not a list of numbers') 
     ) 
    ; throw(error(instantiation_error, _)) 
    ).