Результаты поиска по запросу "prolog"

5 ответов

 который преобразует нерекурсивное подмножество Datalog в SQL.

думываясь, мне кажется, что большой набор функций Пролога может быть реализован в виде реляционного исчисления (например, SQL). Кто-нибудь слышал о каких-либо инструментах для автоматического преобразования Пролога в SQL?

3 ответа

Принудительно прологи выбирают уникальные значения переменных

Хорошо, я новичок в Прологе, так что извините, если это что-то тривиальное, но я не могу найти правильный элегантный ответ на это. Я пытаюсь выполнить ...

2 ответа

Почему мы используем '!' в прологе

Это код, который я пытаюсь понять.

ТОП публикаций

2 ответа

Пролог программирование - путь к решению

Я изучаю пролог в университете и сталкиваюсь с некоторыми проблемами. То, что я уже выяснил, это просто решение проблемы. Однако меня больше интересует способ думать, то есть, как получить такое решение. Может кто-нибудь дать мне совет в этой ...

3 ответа

, это довольно медленно, но позволяет избежать проблемы "вне стека":

ужно посчитать всеX, этоsome_predicate(X) и таких действительно многоX, Каков наилучший способ сделать это? Первый ключ - найти все это, собрать в список и вернуть его длину. countAllStuff( X ) :- findall( Y , permutation( ...

3 ответа

Пролог Аккумуляторы. Они действительно «другая» концепция?

Я изучаю Пролог в своей лаборатории искусственного интеллекта, из источника Изучай пролог сейчас! [http://www.learnprolognow.org/lpnpage.php?pageid=online]. В 5-й главе мы узнаем оАккумуляторы, И как пример, эти два фрагмента ...

2 ответа

 теперь, когда вы знаете об этом.

я есть этот код (итеративное углубление, чтобы найти кратчайший путь): 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).И когда я ...

2 ответа

Что касается сопоставления с образцом против арифметики: как бы вы сделали это здесь? Я имею в виду, что задействованные списки недоступны, потому что они являются скрытыми параметрами в правилах DCG ...

те определим пользовательские операторы - пусть это будет++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).И факт: check(A equals A).Я пытаюсь сделать предикат, пусть будетcheck/1, который вернет true во всех следующих ситуациях: check( a ...

1 ответ

Пролог - перевод с английского на C

У нас есть относительно простое задание, которое я понимаю в теории, но я думаю, что просто не совсем понимаю синтаксис Пролога, чтобы включить его в код. По сути, у нас есть список английских обозначений, которые представляют операции в C. Они ...

4 ответа

Как удалить последний элемент из списка в Прологе?