Мне нужен упорядоченный список объектов, которые удовлетворяют цели.setof заботится о порядке, но терпит неудачу, когда никакие объекты не удовлетворяют цели. Я хочу вернуть пустой список вместоfindall делает.

Это работает, но есть ли способ сделать это без среза? Я использую SWI-Prolog.

setof(Object, Goal, List), !; List = [].