Вопросы с тегом 'prolog'

Prolog - наиболее часто используемый язык логического программирования. Он поддерживает недетерминированное программирование посредством хронологического отскока и сопоставления шаблонов посредством унификации.
2
ответов

Каковы основные технические различия между Prolog и miniKanren в отношении логического программирования?

Когда я хочу читать логическое программирование, я всегда натыкаюсь на два "основных" способа сделать это в наши дни: miniKanren, minilanguage, представленный в The Reasoned Schemer и популярный на данный момент из-за core.logic. Prolog, первый ...
задан 12 февр. '15 в 3:04
7
ответов

Разница между логическим программированием и функциональным программированием

Я читал много статей, пытаясь понять разницу между функциональным и логическим программированием, но единственный вывод, который я смог сделать до сих пор, заключается в том, что логическое программирование определяет программы посредством математиче...
задан 28 нояб. '11 в 17:48
9
ответов

Сравнение SQL и Prolog

Я начал изучать Prolog и размышлял над теоретическим отличием от языка SQL. Например: оба являются декларативными языками обе поддерживают базу данных знаний, основанных на фактах оба поддерживают поиск данных в стиле запроса поддерживаются фун...
задан 22 янв. '10 в 16:57
4
ответов

Атрибутивные переменные: библиотечные интерфейсы/реализации/переносимость

Когда я просматривал некоторые prolog в последнее время я наткнулся на этот ответ @mat на вопрос Как представлять направленный циклический граф в Prolog с прямым доступом к соседние вершины. До сих пор мой личный опыт использования атрибутов в Prolo...
задан 21 апр. '15 в 18:37
10
ответов

'if' в прологе?

Возможно, это глупый вопрос, но я не могу найти никакой документации для этого. Есть ли способ сделать if if в прологе, например. если переменная равна 0, то выполните некоторые действия (напишите текст на терминал). Другое не требуется даже, но я не...
задан 17 мая '10 в 15:38
6
ответов

Расписание теннисного матча

Существует ограниченное количество игроков и ограниченное количество теннисных кортов. На каждом раунде может быть не больше таких матчей, как есть суды. Никто не играет в 2 раунда без перерыва. Каждый играет матч против всех остальных. Произведите р...
задан 20 янв. '11 в 16:08
5
ответов

Сравнение Haskell и Prolog

Какие проблемы лучше решить в Prolog, чем в Haskell? Каковы основные различия между этими двумя языками? Edit Есть ли библиотека Haskell (вроде логического решателя), которая может имитировать функциональность Prolog?
задан 19 дек. '09 в 15:17
2
ответов

Обозначение преемника Prolog дает неполный результат и бесконечный цикл

Я начинаю изучать Prolog и сначала узнал о нотации преемника. И вот где я узнаю о написании аксиом Пеано в Прологе. См. стр. 12 PDF: sum(0, M, M). sum(s(N), M, s(K)) :- sum(N,M,K). prod(0,M,0). prod(s(N), M, P) :- prod(N,M,K), sum(K,M...
задан 13 апр. '12 в 14:03
13
ответов

Встроенный Prolog Interpreter/Компилятор для Java

Я работаю над приложением на Java, которое должно выполнять некоторые сложные логические выводы правил как часть его функциональности. Я бы хотел закодировать свои логические выводы в Prolog или какой-то другой язык программирования с логикой/огранич...
задан 30 нояб. '09 в 1:30
6
ответов

Обоснование равенства/неравенства

Чистые программы Пролога, которые различают равенство и неравенство терминов в чистом виде, страдают от неэффективности исполнения; даже когда все условия релевантности обоснованы. Недавним примером SO является этот ответ. Все ответы и все сбои верн...
задан 02 дек. '12 в 2:34
14
ответов

Какая хорошая Prolog IDE для Linux?

Мне нужно написать некоторые программы Prolog для класса. Любые рекомендации?
задан 12 нояб. '08 в 6:50
3
ответов

Прямое цепочка против обратной цепи

Что хорошего для этого другого не на практике? Я понимаю теорию того, что они делают, но каковы их ограничения и возможности в практическом использовании? Я рассматриваю Drools против пролога java для нового проекта AI, но открыт для других предложен...
задан 29 июля '10 в 18:27
5
ответов

Унификация с обнаружением STO

В унификации ISO Prolog определяется только для тех случаев, которые являются NSTO (не подвержены возникновению-проверке). Идея заключается в том, чтобы охватить те случаи унификации, которые в основном используются в программах и которые фактически ...
задан 30 мая '15 в 0:25
2
ответов

В чем разница между "и" в Prolog?

Я новичок в Prolog и заметил, что "и" дает другое поведение, но мне интересно, почему. В частности, при загрузке файла работает ?- ['test1.pl']., а ?- ["test1.pl"]. - нет.
задан 25 нояб. '11 в 7:01
4
ответов

Перестановка переменных_names

Как написать стандартным образом avs_term_rearranged(AVs, T, AVsR) с заданными AVs и T такими, что AVsR является перестановкой AVs с элементами, расположенными в том же порядке, что и их переменные, встречающиеся слева направо - порядок в T. AVs -...
задан 23 янв. '14 в 15:25