logical-purity

4зной

1ответ

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

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

2зной

2ответ

Резервные ответы от предикатного варианта дополнения append/3

Я хотел предложить логически чистое решение для некоторых other recent problem в этом форуме. В начале я реализовал вариант reified от append/3 и назвал его appendR/4. Он основан на предикатах if_/3 и

5зной

1ответ

Особенности хорошего кода Пролога?

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

8зной

2ответ

Чистота Прологе предикатов, которые используют нечистые примитивы

Я знаю, что var/1, nonvar/1 и !/0 являются нечистыми примитивы, но их использование делает каждую программу, которая использует их нечистым? Я написал следующий предикат plus/3, который ведет себя так

2зной

3ответ

Порядок целей (правил) в Правилах Пролога

Я начал изучать Пролог недавно и столкнулся с одной странной проблемой. Здесь вы можете увидеть пример кода (я использую SWI-Prolog 7.2.3), который дает дерево отношений и мое решение из 2 задач. /* F

5зной

4ответ

Пролог: как избежать обратного хода без порезов?

Итак, я пытаюсь написать предикат в прологе, который может взять список L1 и список L2 и вернуть список всех элементов в L1, которые не находятся в L2. Это то, что я до сих пор: % Append an element to