Результаты поиска по запросу "logical-purity"
Использование \ == / 2 или dif / 2
Если я хочу убедиться, что две переменные не соответствуют одному и тому же термину, каков предпочтительный способ сделать это? Допустим, мне нужно найти ориентированные ребра в графе, а у узла не может быть ребра: node(a, x, y). node(b, z, x). ...
Что подразумевается под «логической чистотой» в Прологе?
Что подразумевается под «логической чистотой» (в контексте программирования на Прологе)?логико-чистота информация тега говорит"программы, использующие т...
Логическая чистота когда / 2 и земля / 1
Вопро У меня есть вопрос, связанный с логической чистотой. Эта программа чистая? when(ground(X), X > 2). Некоторые [ir] соответствующие подробности о контексте Я пытаюсь написать чистые предикаты с хорошими свойствами завершения. ...
Особенности хорошего кода Пролога? [закрыто
Какую эвристику дизайна нужно освоить, чтобы написать хороший Пролог? Я слышал, что опытному программисту требуется около двух лет, чтобы стать опытным в Прологе. Эффективное использование рекурсии является частью этого, но это, кажется, ...