Правильное использование findall / 3, особенно последний аргумент результата

Я новичок в Прологе и имею дело с проблемой, которая может показаться вам глупой, но я действительно не могу понять, что я делаю неправильно! Хорошо, у меня ...

экзистенциальный классификатор в прологе, используя setof / bagof

У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^). с помощью SICStus кажется, что (несмотря на то, что утверждают многие веб-сайты), S действительно представляется количественно в ...

Prolog Recursion пропускает те же результаты

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

Пролог - как сделать setof, который возвращает пустой список вместо сбоя

Пролог - как сделать setof, который возвращает пустой список вместо сбоя

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

Проверьте, является ли переменная пустой или заполненной

Проверьте, является ли переменная пустой или заполненной

У меня есть следующая проблема: Пролог прога: man(thomas, 2010). man(leon, 2011). man(thomas, 2012). man(Man) :- once(man(Man, _).проблема: ?- man(thomas). true ; %i want only on true even if there are more "thomas" *working because of once()* ...

экзистенциальный классификатор в прологе, используя setof / bagof

У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^).с помощью SICStus кажется, что (несмотря на то, ...