Результаты поиска по запросу "prolog"
http://eclipseclp.org/doc/bips/kernel/compiler/parallel-1.html
могу найти информацию об этом онлайн ... Я также новичок в Прологе ... Мне кажется, что Пролог может быть очень параллельным, возможно, пробуя много возможностей одновременно, пытаясь соответствовать правилу. Современные Пролог компиляторы / ...
экзистенциальный классификатор в прологе, используя setof / bagof
У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^). с помощью SICStus кажется, что (несмотря на то, что утверждают многие веб-сайты), S действительно представляется количественно в ...
Обратите внимание, что в то же время некоторые из этих предикатов являются частью GNU, поскольку они являются частью пролога Пролога: succ / 1, между / 3.
их реализациях Пролога отсутствуют некоторые предикаты, доступные в других. Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog». Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для ...
Что касается сопоставления с образцом против арифметики: как бы вы сделали это здесь? Я имею в виду, что задействованные списки недоступны, потому что они являются скрытыми параметрами в правилах DCG ...
те определим пользовательские операторы - пусть это будет++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).И факт: check(A equals A).Я пытаюсь сделать предикат, пусть будетcheck/1, который вернет true во всех следующих ситуациях: check( a ...
который преобразует нерекурсивное подмножество Datalog в SQL.
думываясь, мне кажется, что большой набор функций Пролога может быть реализован в виде реляционного исчисления (например, SQL). Кто-нибудь слышал о каких-либо инструментах для автоматического преобразования Пролога в SQL?
Пролог Аккумуляторы. Они действительно «другая» концепция?
Я изучаю Пролог в своей лаборатории искусственного интеллекта, из источника Изучай пролог сейчас! [http://www.learnprolognow.org/lpnpage.php?pageid=online]. В 5-й главе мы узнаем оАккумуляторы, И как пример, эти два фрагмента ...
Предикат Пролога с переменным числом аргументов [закрыто]
Я пишу Судоку-Солвер с PROLOG. Я хочу, чтобы решатель работал со всеми возможными размерами Судоку, поэтому, естественно, мне нужно создавать предикаты, которые принимают переменное число аргументов. (Например, чтобы построить «блоки» в ...
Разделение и остаток в Прологе
Попытка выяснить, как написать рекурсивный предикат div_by (X, D, I, R), который принимает в качестве входных данных положительное целое число X и делитель D и возвращает ответ в виде целой части I и оставшейся части R, однако Кажется, я не могу ...
Знак «Не равно» в Visual Prolog?
Я не могу найти документацию по знаку "не равно" в Visual Prolog. Пожалуйста, предоставьте правильное решение этой проблемы: class predicates sister : (string Person, string Sister) nondeterm(o,o). clauses sister(Person, Sister) :- Person ...
Пролог программирование - путь к решению
Я изучаю пролог в университете и сталкиваюсь с некоторыми проблемами. То, что я уже выяснил, это просто решение проблемы. Однако меня больше интересует способ думать, то есть, как получить такое решение. Может кто-нибудь дать мне совет в этой ...