Результаты поиска по запросу "prolog"
который преобразует нерекурсивное подмножество Datalog в SQL.
думываясь, мне кажется, что большой набор функций Пролога может быть реализован в виде реляционного исчисления (например, SQL). Кто-нибудь слышал о каких-либо инструментах для автоматического преобразования Пролога в SQL?
Принудительно прологи выбирают уникальные значения переменных
Хорошо, я новичок в Прологе, так что извините, если это что-то тривиальное, но я не могу найти правильный элегантный ответ на это. Я пытаюсь выполнить ...
Почему мы используем '!' в прологе
Это код, который я пытаюсь понять.
Пролог программирование - путь к решению
Я изучаю пролог в университете и сталкиваюсь с некоторыми проблемами. То, что я уже выяснил, это просто решение проблемы. Однако меня больше интересует способ думать, то есть, как получить такое решение. Может кто-нибудь дать мне совет в этой ...
, это довольно медленно, но позволяет избежать проблемы "вне стека":
ужно посчитать всеX, этоsome_predicate(X) и таких действительно многоX, Каков наилучший способ сделать это? Первый ключ - найти все это, собрать в список и вернуть его длину. countAllStuff( X ) :- findall( Y , permutation( ...
Пролог Аккумуляторы. Они действительно «другая» концепция?
Я изучаю Пролог в своей лаборатории искусственного интеллекта, из источника Изучай пролог сейчас! [http://www.learnprolognow.org/lpnpage.php?pageid=online]. В 5-й главе мы узнаем оАккумуляторы, И как пример, эти два фрагмента ...
теперь, когда вы знаете об этом.
я есть этот код (итеративное углубление, чтобы найти кратчайший путь): arc(a, g). arc(a, b). arc(b, g). path(X, Z, Path) :- length(Path, _), path_r(X, Z, Path). path_r(Z, Z, []). path_r(X, Z, [X|Path]) :- arc(X, Y), path(Y, Z, Path).И когда я ...
Что касается сопоставления с образцом против арифметики: как бы вы сделали это здесь? Я имею в виду, что задействованные списки недоступны, потому что они являются скрытыми параметрами в правилах DCG ...
те определим пользовательские операторы - пусть это будет++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).И факт: check(A equals A).Я пытаюсь сделать предикат, пусть будетcheck/1, который вернет true во всех следующих ситуациях: check( a ...
Пролог - перевод с английского на C
У нас есть относительно простое задание, которое я понимаю в теории, но я думаю, что просто не совсем понимаю синтаксис Пролога, чтобы включить его в код. По сути, у нас есть список английских обозначений, которые представляют операции в C. Они ...