0
ответов
Упрощенный коммивояжер на Прологе
Я просмотрел похожие вопросы, но не могу найти ничего, имеющего отношение к моей проблеме. Я изо всех сил пытаюсь найти алгоритм или набор «циклов», которые найдут путь от CityA к CityB, используя ...
вопрос задан: 9 December 2012 16:36
0
ответов
Пролог :Первое повторяющееся значение
Мне нужно найти первое повторяющееся значение в списке. преп (3,[1,3,5,3,5] ). Должно быть правдой. преп (5,[1,3,5,3,5] ). Должно быть ложным. Я думал, что проверка на равенство с текущим значением и...
вопрос задан: 9 December 2012 16:35
0
ответов
Простое удаление Пролога из списка
(Это НЕ вопрос курсовой работы. Просто мое личное обучение.) Я пытаюсь выполнить упражнение на Прологе, чтобы удалить элементы из списка. Вот мой код: deleteall ([], X, []).
deleteall ([H | T], X, ...
вопрос задан: 9 December 2012 16:33
0
ответов
Пролог к Прологу? [closed]
Если вы регулярно пишете программы на Прологе, у вас, вероятно, есть собственная библиотека предикатов, на которую вы всегда полагаетесь. Некоторые системы Prolog поставляются с богатым набором предопределенных предикатов, а некоторые нет. Некоторые ..
вопрос задан: 1 December 2012 08:27
0
ответов
Почему эта команда вызывает переполнение стека в прологе?
У меня есть следующий фрагмент кода пролога: num (0).
num (X): - num (X1), X равно X1 + 1. fact (0,1): - !.
fact (X, Y): - X1 - это X-1, fact (X1, Y1),!, Y - это Y1 * X. fact (X): - num (Y), fact (Y, X). Может кто-нибудь ...
вопрос задан: 15 November 2012 11:48
0
ответов
Пролог - лучший способ устранить дублирующийся ответ в особом случае ?
У меня возникли проблемы с этими двумя строками: list_swizzle (L, [], L).
list_swizzle ([], L, L). Проблема заключалась в том, что если оба первых двух аргумента являются пустым списком, первые два оператора ...
вопрос задан: 10 November 2012 22:24
0
ответов
Добавление Пролога оператором cut
Какая проблема может возникнуть, когда мы используем оператор append с оператором cut? добавить2([],L,L ):-!. приложение2 ([H|T],L,[H|TL] ):-приложение2 (T,L,TL ). Я пробовал несколько разных входов, но всегда удавалось. ? -...
вопрос задан: 10 November 2012 22:18
0
ответов
Оптимизация поиска пути в логическом программировании с ограничениями с помощью Prolog
Я работаю над небольшим пролог-приложением для решения головоломки "Небоскребы и заборы". Неразрешенная загадка: Решенная головоломка: Когда я передаю программе уже решенные головоломки, она быстро, почти ...
вопрос задан: 9 November 2012 20:54
0
ответов
какой алгоритм для программы планирования
У меня проблема с планированием задач. Каждая задача имеет предполагаемое время начала T (она должна начинаться в [T-10, T + 10]), занимает L минут и использует несколько ресурсов [R1, R2, ...]. Когда ...
вопрос задан: 9 November 2012 20:51
0
ответов
преобразовать float в целое число в прологе
Как преобразовать float в целое число в прологе? Я пробовал:? - целое число (truncate (sqrt (9))).
ложный. ? - целое число (round (sqrt (9))).
false.
вопрос задан: 8 November 2012 18:34
0
ответов
Исключение при попытке использовать JPL и YAP Prolog в OS X
Я пытаюсь использовать JPL для взаимодействия программ Java и YAP Prolog. В моем java-файле эта строка выдает исключение: Query query = new Query ("consult", new Term [] {new Atom ("test.pl")} ...
вопрос задан: 8 November 2012 14:38
0
ответов
Какие типы данных в Прологе?
Согласно Википедии, единственным типом данных в Прологе является термин. В этом тексте также упоминается, что «единичный тип данных Пролога является термином», но затем продолжается объяснение «классификации данных ...
вопрос задан: 20 August 2012 23:50
0
ответов
Пролог, найти минимум в списке
вкратце: Как найти минимальное значение в списке? (спасибо за совет, kaarel) длинная история: я создал взвешенный граф в прологе amzi и, учитывая 2 узла, я могу получить список путей. ...
вопрос задан: 3 August 2012 17:05
0
ответов
Создать экземпляр переменной типа в Haskell
РЕДАКТИРОВАТЬ: Решено. Я не знал, что включение языкового расширения в исходном файле не включило языковое расширение в GHCi. Решение было: установить FlexibleContexts в GHCi. Недавно я ...
вопрос задан: 28 July 2012 19:27
0
ответов
Разделить число на список цифр в Прологе
У меня возникли проблемы с попыткой разбить числа на списки с помощью Prolog, например. 123456 становится [1,2,3,4,5,6]. Не могли бы вы помочь мне разобраться, как это сделать?
вопрос задан: 28 July 2012 17:06
0
ответов
Не равны и не унифицированы в Прологе
В чем разница между A \= B и не (A==B )в Прологе? Я нашел это http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse5и эту вики-страницу http://en.wikibooks....
вопрос задан: 14 July 2012 16:59
0
ответов
Swi Prolog, выгрузка исходных файлов
Есть ли встроенный предикат или простой способ удалить из базы знаний Prolog исходные файлы, к которым уже обращались? Я просмотрел справочное руководство и не нашел ни одного...
вопрос задан: 13 June 2012 20:59
0
ответов
Логика в Прологе
Как я могу выразить следующие 3 предложения на Прологе? Все лето теплое. Если не лето, то зима. Сейчас зима.
вопрос задан: 7 June 2012 08:47
0
ответов
Арены, где доминирует core.logic [soft]
Community Wiki Меня не волнуют очки репутации, я просто хочу хорошие ответы. Не стесняйтесь отметить этот вопрос как вики сообщества. Контекст Я работал с The Reasoned Schemer и...
вопрос задан: 2 June 2012 00:55
0
ответов
Удалить элементы из списка меньше значения после findall
У меня есть: mymake (Answer_Max): - findall ((Place, Cost), costOfLiving (Place, Cost), ResultList), delete_over (ResultList, Answer_Max). costOfLiving находится в моей базе данных и формируется каждым местом ...
вопрос задан: 18 May 2012 16:42
0
ответов
Как создать глобальную переменную в прологе
У меня есть список, который я создаю следующим образом: tab([(top,left ), (сверху, посередине), (сверху, справа), (по центру, слева), (по центру, посередине), (по центру, справа), (снизу, слева), (снизу, посередине), (снизу, справа)] ). Я хочу создать ...
вопрос задан: 18 May 2012 15:11
0
ответов
Альтернатива выражению «перестановочности» в Прологе?
Будучи новичком в Прологе, я обнаружил, что коммутативные выражения в Прологе совершенно не интуитивны. например, если я хочу выразить X и Y в одной семье, например:семья(X,Y):-замужем(X,Y);...
вопрос задан: 21 April 2012 10:12
0
ответов
минимакс для крестиков-так-ноликов
Я пытаюсь решить крестики-так-нолики с помощью простого минимаксного алгоритма. Простой, но должен охватывать большую часть языка. Что у меня есть на данный момент:Доска представлена в виде массива из 9 (несвязанных)переменных,...
вопрос задан: 20 April 2012 14:46
0
ответов
Доказательство теоремы с использованием Пролога
Как я могу написать доказательство теоремы с помощью Пролога? Я пробовал писать нормально Вот так:параллельно(X,Y):-перпендикулярно(X,Z),перпендикулярно(Y,Z), X\==Y, !. перпендикулярно(X,Y):-перпендикулярно(X,Z),...
вопрос задан: 18 April 2012 09:47
0
ответов
Как я могу встроить механизм вывода, похожий на Prolog, в приложение .NET?
Определенные виды доменов логика более естественно представлена с помощью предикатов Пролога, чем объекты C #. Одним из примеров такой области являются семейные отношения. Есть ли способ встроить ...
вопрос задан: 18 April 2012 07:23
0
ответов
Как инвертировать в Прологе
Я новичок в ПРОЛОГЕ и нахожусь в самом начале упражнений на этой странице. . Учитывая правила родитель (X, Y) и мужчина (X), я пытаюсь определить правило мать (X, Y) как мать (X, Y): - не (мужчина (X)), ...
вопрос задан: 13 April 2012 13:19
0
ответов
что делает косая черта(/)в прологе?
У меня есть этот код:set_value(X,Value,[X/_|T],[X/Value|T]). set_value(X,Value,[Y/V|T],[Y/V|NewT):-X\=Y,set_value(X,Value,T,NewT). установить_значение(X,значение,[],[X/значение]). Но я не могу понять, что делает /...
вопрос задан: 11 April 2012 18:19
0
ответов
Проблема с простым PROLOG :Как проверить несколько запросов к базе данных Prolog?
У меня есть файл базы данных Prolog (test _inserts.p ), который я использовал для вставки всех своих данных. У меня также есть файл запросов Prolog (test _query.pl ), в котором есть все запросы Prolog, которые я написал для получения конкретных...
вопрос задан: 8 April 2012 14:28
0
ответов
Пролог — необычный синтаксис cons для списков
Я наткнулся на незнакомый фрагмент синтаксиса Пролога в статье Ли Нейша Логическое программирование высшего порядка в Пролог. Вот первый пример кода из статьи: сортировка вставками % (простая версия)
...
вопрос задан: 5 April 2012 13:36
0
ответов
Сумма элементов в списке в Прологе
list_sum([], 0). список_сумма([Начало | Хвост], TotalSum):-list_sum(Tail, Sum1), Total = Head + Sum1. Этот код возвращает истину. Если я заменю Total = Head + Sum1 на Total is Head + Sum1, то это...
вопрос задан: 26 March 2012 16:14