0
ответов
Как вы выполняете поиск и замену списка другим подсписком в Prolog?
Я пытаюсь изменить список с помощью поиска и замены, мне интересно, как мне выполнить поиск в списке с поисковым термином как список тоже? Допустим, у меня есть список [1,2,3,4]. Я хочу выделить 2, и ...
вопрос задан: 22 March 2012 23:56
0
ответов
Пролог факториальной рекурсии
У меня возникли проблемы с пониманием следующей факториальной программы fact1(0,Result) :- Результат равен 1.
факт1(N,Результат): - N > 0, N1 равен N-1, факт1(N1,Результат1), Результат равен Результат1*N. ...
вопрос задан: 6 March 2012 01:09
0
ответов
Как мне вернуть уникальные результаты из знания base in Prolog?
Полный пролог для новичков здесь. Допустим, у меня есть база знаний по прологу, которая содержит еду и ее цену, например: food (banana, 99) и т. д. Я пытаюсь написать предикат, который вернет правда ...
вопрос задан: 29 February 2012 17:10
0
ответов
Имена переменных в SWI Prolog
Я использую библиотеку chr вместе с интерфейсом jpl. У меня возник общий вопрос. Я отправляю ограничения из SWI Prolog в экземпляр java-класса из моей программы CHR. ...
вопрос задан: 20 February 2012 11:01
0
ответов
Построчное чтение файла в Прологе
Я хотел бы прочитать простой текстовый файл и применить предикат к каждой строке (предикаты содержат запись, которая выполняет вывод). Как мне это сделать?
вопрос задан: 20 February 2012 03:09
0
ответов
Кто-нибудь видел хорошую реализацию средства доказательства теорем SATCHMO на Прологе с открытым исходным кодом?
Я видел довольно много статей о программе доказательства теорем SATCHMO, в которых рассказывается о реализациях Пролога. Но единственная реализация исходного кода, которую я нашел до сих пор, была в книге, и она была действительно ограниченной ...
вопрос задан: 8 February 2012 05:15
0
ответов
Подсчитать количество появлений числа в списке
Я пишу программу на прологе, которая подсчитывает количество появлений числа в списке count ([], X, 0).
count ([X | T], X, Y): - count (T, X, Z), Y равно 1 + Z.
count ([_ | T], X, Z): - count (T, X, Z). и это ...
вопрос задан: 31 January 2012 22:35
0
ответов
Как создать массив в прологе?
Я хочу создать массив в Прологе. Как это сделать? Как получить доступ к элементам?
вопрос задан: 29 January 2012 10:01
0
ответов
Алгоритм - идеальное распределение между несколькими семинарами и временными рамками
Я ищу алгоритм для решения следующей проблемы: Допустим, я организую курс с 300 участниками и 6 семинарами, разделенными на 3 временных периода. Каждый участник должен зарегистрироваться на ...
вопрос задан: 17 January 2012 16:52
0
ответов
Prolog exist_error после «Семи языков за семь недель»
Я как раз читал книгу «Семь языков за семь недель». Я установил gprolog на свой компьютер Mac с помощью командного порта install gprolog-devel и запустил первый код пролога. любит (уоллес, сыр).
нравится (...
вопрос задан: 4 January 2012 13:12
0
ответов
В чем разница между списком с чем угодно ([_]) и чем угодно (_)
Я пытался выполнить следующее: если у меня есть два списка, L1 и L2, я хотел, чтобы результат (R) был «вычитанием» L2 из L1. Пример: L1 = [1,2,3]
L2 = [2,3,4,5] R = [1] Я БЫЛ ...
вопрос задан: 18 December 2011 22:20
0
ответов
Ограничение времени пользовательского ввода Пролога (чтение)
Я пишу интерпретатор для игры. Пользователь вводит свой ход в интерпретатор, и программа выполняет этот ход. Теперь я хочу установить ограничение по времени для каждого решения. Игрок не должен уметь ...
вопрос задан: 8 December 2011 21:16
0
ответов
Сортировка списка в Prolog
Prolog имеет уникальный способ обработки вещей, особенно потому, что практически каждая операция включает рекурсию того или иного рода. Одним из классических примеров, который есть в каждом языке, является сортировка списка ...
вопрос задан: 8 December 2011 10:25
0
ответов
Не могли бы вы порекомендовать набор инструментов NLP в Prolog?
Мне нужно разобрать или токенизировать английские предложения.
Есть ли какой-нибудь инструментарий для NLP в Prolog?
Спасибо.
вопрос задан: 2 December 2011 04:50
0
ответов
Интерпретатор на основе Пролога
Я уже освоил функциональное программирование; Я знаком (хотя и не разбираюсь) в Haskell и PLT Scheme. Я использовал PLT Scheme для создания небольших интерпретаторов для игрушечных языков (...
вопрос задан: 29 November 2011 19:37
0
ответов
Вопрос - формальный язык в прологе
Я пытаюсь создать DCG, который распознает все списки, соответствующие этой форме: a ^ nb ^ 2m c ^ 2m d ^ n.
Я написал следующие правила:
s -> [].
с -> объявление.
ad -> a, ad, d.
ad -> bc.
bc --...
вопрос задан: 29 November 2011 18:56
0
ответов
Как печатать числа от 1 до 100 в Прологе?
Следующий код является кодом Пролога, который выдает все целые числа больше 0. Каждый раз, когда я помещаю; в интерпретаторе он дает следующее число: is_integer (0).
is_integer (X): - is_integer (Y), X равно Y + 1. ...
вопрос задан: 28 November 2011 06:03
0
ответов
Запись в файл (Пролог)
Я пытался перебрать список и записать его в файл, почему следующее не работает? loop_through_list (Список): - member (Element, List), write (Element), write (''), ...
вопрос задан: 27 November 2011 21:49
0
ответов
Пролог: Комбинирование грамматик DCG с другими ограничениями
Я очень впечатлен DCG Пролога и тем, как быстро я могу создать все возможные структуры, подходящие для конкретной грамматики. Но я бы хотел совместить этот поиск с другими ограничениями. Например, ...
вопрос задан: 26 November 2011 02:03
0
ответов
Составление списка строк в Прологе
Я пишу Лисп на C Переводчик и у меня проблема со строками. Это код, который преобразует унарную функцию Лиспа в эквивалент C: define (F) -> fun_unary (F),!. fun_unary (F) ...
вопрос задан: 26 November 2011 01:58
0
ответов
Проблемы с DCG Пролога
Проект о переводе полуестественного языка в таблицы SQL. Код: label (S) -> label_h (C), {atom_codes (A, C), string_to_atom (S, A)},!. label_h ([C | D]) -> letter (C), ...
вопрос задан: 26 November 2011 01:57
0
ответов
Перемешать в прологе
Я пытаюсь написать процедуру в прологе, где если L1 = [1,2,3] и L2 = [4,5,6], то L3 = [1,4,2, 5,3,6] так что перемешайте ([1,2,3], [4,5,6], [1,4,2,5,3,6]) Пока у меня есть это: перемешать ([X] , [Y], [X, Y]).
...
вопрос задан: 11 November 2011 06:01
0
ответов
Реализация Minimax в «Программировании на прологе для искусственного интеллекта» - что такое min_to_move / 1 и max_to_move / 1?
Позвольте мне начать с того, что на этот вопрос могут ответить мастера ИИ, не имеющие опыта работы с Prolog. В прекрасной книге «Программирование на прологе для искусственного интеллекта» это довольно кратко и…
вопрос задан: 2 November 2011 11:22
0
ответов
Поиск с ограниченной глубиной в prolog (метаинтерпретатор vanilla)
Мне нужно модифицировать метаинтерпретатор vanilla, чтобы сделать поиск с ограниченной глубиной. Для проверки решения я использую следующий код: value(wire1,1).
connected(wire2, wire1).
connected(...
вопрос задан: 23 October 2011 19:49
0
ответов
шахматная игра на прологе
Для одного из моих курсов в университете мне нужна шахматная игра, реализованная на прологе.
Моим домашним заданием было создание / улучшение ИИ игры. Я не хочу писать всю партию с нуля, я ...
вопрос задан: 22 October 2011 20:38
0
ответов
Арифметические функции и функции закрытия в core.logic lvars
Два связанных вопроса в одном: Может ли модуль Clojure core.logic выполнять арифметические, логические сравнения и т. Д., Как обычный Пролог? Я представляю себе что-то вроде следующего: (defrel points person ...
вопрос задан: 5 October 2011 23:32
0
ответов
Пролог, как Показать несколько выходов в записи ()
Go: - Match (Mn, Fn), запись ('- Соответствие результата -' '), NL, запись (MN), запись («совпадение с»), напишите (FN ), матч (mn1, fn1). человек (май, женщина, 25, синий).
Человек (...
вопрос задан: 8 September 2011 14:12
0
ответов
Prolog: Одноместный элемент против одного элемента
При устранении неисправностей более широкого назначения для школы я обнаружил ошибку, которую я сделал, где я лечил один список предметов (стек с одним предметом), как будто это единый предмет. Я решил свою проблему, ...
вопрос задан: 7 September 2011 05:54
0
ответов
Кэш предикатов
Есть ли реализация или библиотека Пролога, которая кэширует предикаты? Или вы бы реализовали, скажем, кеш FIFO, используя assertz / 1 и retract / 1, например: - динамический кеш / 1.
ccall (G): - кеш (G).
...
вопрос задан: 7 August 2011 03:06
0
ответов
Начинающий на прологе - это плохая идея?
Приложение, над которым я работаю, является своего рода "конфигуратором" . Он написан на C #, и я даже написал для него механизм правил. Идея состоит в том, что существует набор утверждений пропозициональной логики, и ...
вопрос задан: 21 July 2011 20:33