0
ответов
Загадка Эйнштейна Пролог
Мне нужна помощь с домашним заданием по прологу для моего класса ИИ. Вопрос в том, чтобы написать код пролога к головоломке Эйнштейна. Я знаю, как написать это по-своему, но есть некоторые ограничения в ...
вопрос задан: 31 January 2016 00:39
0
ответов
предикаты Определения в Прологе SICStus / SWI-Prolog REPL
я читаю http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1,
но я испытываю затруднения при выполнении следующего предиката: SICStus 4.0.1 (x86-win32-nt-4): вторник 15 мая 21:17:49...
вопрос задан: 21 January 2016 21:25
0
ответов
В чем разница между «и» в Прологе?
Я новичок в Прологе и заметил, что «и» ведут себя по-разному, но мне любопытно, почему. В частности, при загрузке файла? - ['test1.pl']. работает, а? - ["test1.pl"]. нет.
вопрос задан: 27 December 2015 20:18
0
ответов
Prolog SAT Solver
Я пытаюсь создать простой Prolog SAT Solver. Я считаю, что пользователь должен ввести логическую формулу для решения в CNF (Conjuctive Normal Form), используя списки Пролога, например (A или B) и (B ...
вопрос задан: 18 December 2015 08:32
0
ответов
Рекурсивный предикат Prolog для обратного / палиндромного
Могу ли я получить рекурсивный предикат Prolog с двумя аргументами, называемыми reverse, который возвращает обратный список: пример запроса и ожидаемый результат:? - reverse ([a, b, в], Л).
L = [c, b, a]. Рекурсивный ...
вопрос задан: 16 December 2015 06:06
0
ответов
Predsort / 3, как msort / 2
Я хотел бы знать, можно ли использовать predsort / 3 без потери повторяющихся значений? Если нет, то как мне отсортировать этот список терминов? Текущая функция сортировки: compareSecond (Delta, n (_, A, _), n (_, ...
вопрос задан: 12 December 2015 18:40
0
ответов
Объединение списков в Прологе
Может ли кто-нибудь помочь найти ошибку в этих правилах? concat ([], Список, Список).
concat ([Заголовок | []], Список, [Заголовок | Список]).
concat ([Head | Tail], List, Concat): - concat (Хвост, Список, C), concat (Head, C, Concat). ...
вопрос задан: 19 November 2015 22:03
0
ответов
Используйте cut в Прологе для определения функции once_member / 2
Заявление об ограничении ответственности: это неофициальная и не оцениваемая курсовая работа, которую я могу выполнить в свободное время. Я сам пробовал, но потерпел неудачу и теперь ищу рекомендации. Я пытаюсь реализовать версию member / 2 ...
вопрос задан: 6 November 2015 12:28
0
ответов
Пролог; попытаться сделать Фибоначчи более эффективным?
Это логическое программирование действительно заставляет танцевать на коленях мои императивные навыки программирования. Это домашнее задание, поэтому, пожалуйста, не присылайте мне ответ. Вот что у меня есть: fibo (N, 1): - N <2,! ....
вопрос задан: 1 October 2015 23:06
0
ответов
Процедура карты пролога, которая применяет предикат к элементам списка
Как вы пишете карту процедуры Пролога (List, PredName, Result), которая применяет предикат PredName (Arg, Res) к элементам List и возвращает результат в списке Result? Например: test (N, ...
вопрос задан: 25 September 2015 21:02
0
ответов
Загрузка файлов в Prolog
Я просматриваю учебник по Prolog. Он сообщает мне, что я могу загрузить другие файлы пролога, набрав: [имя файла]. но каждый раз, когда я пытаюсь это сделать, я получаю ОШИБКУ: load_files / 2: Недостаточно аргументов ...
вопрос задан: 10 September 2015 22:38
0
ответов
Как создать список чисел, которые в сумме дают определенное число
Мне нужна помощь в написании предиката в Prolog, который при вводе числа возвращает список списков с числами, которые складываются в него. Назовем предикат addUpList / 2, он должен работать следующим образом:? ...
вопрос задан: 27 June 2015 11:09
0
ответов
Разбиение списка целых чисел на список целых положительных чисел и список отрицательных чисел
Я пытался создать предикат на Прологе, который разбивает список целых чисел на список целых положительных чисел и на список отрицательных целых чисел. Пример запроса с ожидаемым результатом: ?- split([1,...
вопрос задан: 5 June 2015 11:05
0
ответов
Преобразование числа Пеано s (N) в целое в Прологе
Я наткнулся на эту оценку логических чисел натуральными числами в учебнике, и это дало мне некоторую головную боль : натуральное_число (0).
натуральное_число (s (N)): - натуральное_число (N). Примерно правило ...
вопрос задан: 4 June 2015 00:32
0
ответов
Получить все наборы списка в прологе
Как мне сгенерировать все возможные наборы элементов списка с текущей длиной? ? - get_set (X, [1,2,3]). Х = [1,1,1]; Х = [1,1,2]; Х = [1,1,3]; X = [1,2,1]; X = [1,2,2]; X = ...
вопрос задан: 2 June 2015 09:35
0
ответов
В чем разница между == и = в Прологе?
Может ли кто-нибудь объяснить разницу между операторами == и = в Прологе? Я знаю, что X = Y означает, что X объединяется с Y, и верно, если X уже объединяется с Y или может быть изменено, но я не…
вопрос задан: 25 May 2015 21:08
0
ответов
PROLOG: определение, равны ли элементы в списке, если порядок не имеет значения
Я пытаюсь найти способ проверить, равны ли два списка независимо от их порядка элементов. Моя первая попытка была: areq ([], []). areq ([], [_ | _]). areq ([H1 | T1], L): - член (H1, L), areq (T1, L) ....
вопрос задан: 10 May 2015 23:12
0
ответов
Пролог: случайная маркировка
У меня есть программа, написанная на Sicstus Prolog с использованием ограничений.
Моя цель - использовать маркировку / 2 и какой-то другой метод для получения случайного экземпляра моих переменных. Пример: X #> 2, Y # = 2 * X, Z # & ...
вопрос задан: 6 May 2015 15:52
0
ответов
Пролог: В списке найти элемент после заданного элемента
Я недавно начал программировать на Prolog и сейчас пытаюсь создать правила, которые находят элемент после заданного элемента в списке. Например, я хочу, чтобы find(2,X,[1,2,3,4]). приводил к 3. Моя ...
вопрос задан: 5 May 2015 12:43
0
ответов
Разница между логическим программированием и функциональным программированием
Я читал много статей, пытаясь понять разницу между функциональным и логическим программированием, но единственный вывод, который я смог сделать до сих пор, заключается в том, что логическое программирование определяет ...
вопрос задан: 1 May 2015 21:20
0
ответов
Prolog Noob: Библиотека программирования ограничений или проблема с синтаксисом в SWI-Prolog
Я просто пытаюсь разобраться в программировании ограничений в SWI-Prolog, просматривая это руководство: http://en.wikibooks.org/wiki / Prolog / Constraint_Logic_Programming Однако я, кажется, падаю на ...
вопрос задан: 29 April 2015 18:47
0
ответов
«Синтаксическая ошибка: ожидается оператор» в Прологе
У меня есть эта структура графа, представляющая поток данных в Прологе. У меня есть ребро от узла 1 до 2, от 1 до 3 и т. Д.
Переменная x определена в узле 1, переменная t - в узле 4 и т. Д.
Переменная d используется в узле 4, ...
вопрос задан: 2 March 2015 01:21
0
ответов
Модульное тестирование в XSB Prolog?
Как люди, работающие с XSB Prolog, проводят модульное тестирование? Есть ли библиотека?Или можно как-то использовать библиотеку plunit SWI-Prolog в XSB? Если нет доступной библиотеки тестирования ...
вопрос задан: 28 February 2015 04:49
0
ответов
Избегая использования предиката абсолютного значения в Прологе
Я реализовал в прологе следующую функцию со следующим кодом: abs2 (X, Y): - X < 0, Y равно -X.
абс2 (X, X): - X> = 0,!. Как я могу реализовать эту функцию без использования cut ("!" ...
вопрос задан: 27 February 2015 14:26
0
ответов
Реализация пролога о семантике расширения аргументации
Я пытаюсь реализовать логику обоснованного расширения АА в логике пролога, но не могу понять, как это сделать. У меня есть некоторые аргументы «аргумент (а)», «аргумент (б), и некоторые атаки атаки (а, б). Я не хочу ...
вопрос задан: 25 February 2015 16:16
0
ответов
Альтернативы WAM
Я помню, как однажды читал это примерно в то же время, что и WAM, были изобретены как минимум две другие альтернативы. Есть какие-нибудь указатели?
вопрос задан: 23 February 2015 05:14
0
ответов
обратимый предикат «двоичный код в число»
Как лучше всего преобразовать двоичные биты (это может быть список из 0 / 1, например) в числа обратимым способом. Я написал собственный предикат в swi, но есть ли лучшее решение?
Best ...
вопрос задан: 10 February 2015 22:28
0
ответов
Программирование в целом с помощью Prolog
Я пытаюсь сохранить модульность кода Prolog, и мне было интересно, есть ли любые советы, как это сделать. Я делал это с помощью простых консультаций, но это становится громоздким, поскольку ...
вопрос задан: 29 January 2015 21:10
0
ответов
Почему мой предикат в Prolog Fib/2 всегда говорит «вне локального стека»?
Я написал предикат fib/2 для вычисления чисел Фибоначчи на Прологе. Хотя он работает, он всегда говорит «вне локального стека», и ошибка выглядит как :? -фиб (10, F ). Ф = 55; ОШИБКА :Не по месту...
вопрос задан: 1 December 2014 20:27
0
ответов
Понимание списков различий
Я пытаюсь понять списки различий в Прологе, но я изо всех сил пытаюсь реализовать его должным образом, каждый раз, когда я пытаюсь это сделать, я получаю список списков, но это не то, что я хочу. Я пытаюсь ...
вопрос задан: 17 November 2014 15:50