Результаты поиска по запросу "prolog-setof"
экзистенциальный классификатор в прологе, используя setof / bagof
У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^).с помощью SICStus кажется, что (несмотря на то, ...
Prolog Recursion пропускает те же результаты
Мой код выполняется, но проблема в том, что он показывает одни и те же результаты более одного раза. Вот мой ...
Правильное использование findall / 3, особенно последний аргумент результата
Я новичок в Прологе и имею дело с проблемой, которая может показаться вам глупой, но я действительно не могу понять, что я делаю неправильно! Хорошо, у меня ...
экзистенциальный классификатор в прологе, используя setof / bagof
У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^). с помощью SICStus кажется, что (несмотря на то, что утверждают многие веб-сайты), S действительно представляется количественно в ...
Проверьте, является ли переменная пустой или заполненной
У меня есть следующая проблема: Пролог прога: 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, который возвращает пустой список вместо сбоя
Мне нужен упорядоченный список объектов, которые удовлетворяют цели.setof заботится о порядке, но терпит неудачу, когда никакие объекты не удовлетворяют цели. Я хочу вернуть пустой список вместоfindall делает. Это работает, но есть ли способ ...