2
ответа
К чему [a|b|c] оценивает в SWI-прологе?
Оператор канала в прологе возвращает одну или несколько атомарных Голов и список Хвоста.? - [a, b, c] = [a, b | [c]]. верный. Вложение несколько каналов в единственном соответствии может быть сделано подобное этому:? - [a, b, c] = [| [b | [...
вопрос задан: 27 November 2013 21:44
2
ответа
Почему этот запрос пролога является оба истиной и ложью?
Моя база знаний SWI-пролога содержит следующие два факта: f (a, b). f (a, c). Теперь, если я излагаю запрос? - f (a, c). верный. Но? - f (a, b). верный; ложь. Почему является f (a, b) обеими истиной и ложью? Это...
вопрос задан: 6 January 2013 08:04
2
ответа
Стандартная программа различия в списке пролога
Я пытаюсь реализовать стандартную программу различия в списке в прологе. По некоторым причинам следующие сбои: различие (Xs, Ys, D):-различие (Xs, Ys, [], D). различием ([], _, A, D):-D является A!. различие ([X|Xs]...
вопрос задан: 21 July 2012 17:36
2
ответа
Я хочу заменить список на элементы списка [duplicate]
item_replacement_item_mapped (E, Es, E, Es). item_replacement_item_mapped (X, _, E, [E]): - dif (X, E). repl (Es0, X, Xs, Es): - maplist (item_replacement_item_mapped (X, Xs), Es0, Ess1), append (Ess1, ...
вопрос задан: 23 March 2012 01:56
2
ответа
Программирование на эрланге: поможет ли обучение в прологе?
Поможет ли изучение пролога в изучении эрланга способом, характерным для эрланга? ? Erlang начинался как параллельный Пролог, но связан ли современный Erlang с Прологом (за пределами синтаксиса)? Я понимаю, что изучение ...
вопрос задан: 22 August 2010 19:02
2
ответа
Прямая цепочка рассуждений по сравнению с обратным построением цепочки
Что каждый хорош для этого других не на практике? Я понимаю теорию того, что они делают, но каковы их ограничения и возможности в практическом применении? Я рассматриваю, Пускает слюни по сравнению с Java...
вопрос задан: 16 August 2010 16:24
2
ответа
Константы пролога
Там какой-либо путь состоит в том, чтобы определить константы в прологе? Я хотел бы записать что-то как list1:-[1, 2, 3]. list2:-[4, 5, 6]. предикат (L):-добавляет (list1, list2, L). Обходное решение, которое я использую теперь...
вопрос задан: 28 June 2010 14:47
2
ответа
Изучите Пролог Теперь! решения для осуществления
Кто-либо знает, где я могу найти, что решения упражнений и практических сессий Изучают Пролог Теперь? Я начал работать через него, и будет для проверки ответов, которые я разрабатываю.
вопрос задан: 31 May 2010 00:14
2
ответа
Соответствие кортежам в Прологе
Почему Пролог соответствует (X, Xs) с кортежем, содержащим больше элементов? Пример: test2 ((X, Xs)):-запись (X), nl, test2 (Xs). test2 ((X)) запись:-(X), nl...
вопрос задан: 23 May 2010 22:32
2
ответа
Логика первого порядка пролога - печать таблицы истинности
Я должен записать программу, которая печатает таблицу истинности выражений. Так, я записал следующую функцию: (верный) bool. bool (сбой). tableBody (A, B, E):-bool (A), bool (B), пишут (A), пишут ('...
вопрос задан: 20 January 2010 17:05
2
ответа
Как определить предикат в прологе
Я плохо знаком с Прологом, и я до сих пор изучил, как определить предикат в файле и выполнении интерпретатор для использования его. Но я хотел бы знать, существует ли способ определить предикат в?-...
вопрос задан: 3 December 2009 23:42
2
ответа
Два определения пункта для нахождения максимального количества в списке
Как я записал бы двум пунктам рекурсивное определение для нахождения максимального значения в списке. До сих пор я записал это: макс. (L, M):-макс. ([H|T], M):-макс. (T, H, M). макс. ([], M, M). макс. ([H|T], Y, M):-H = и...
вопрос задан: 29 November 2009 17:04
2
ответа
Компилятор пролога для .NET
Может любой рекомендовать компилятор Пролога для .NET. Те, что я смог найти поиск сети, кажется, не обновлялись в течение нескольких лет. Спасибо Шираз
вопрос задан: 27 June 2009 19:10
2
ответа
пролог преобразователя SQL
Не думая к очень, мне кажется, что большой набор функциональности Пролога мог быть реализован как реляционное исчисление (иначе. SQL). Слышали любого любых инструментов для автоматического преобразования...
вопрос задан: 7 April 2009 06:42
1
ответ
Как получить доступ к данным правила в PROLOG
Я должен определить, перекрываются ли два прямоугольника или нет, я могу сделать это, но я изо всех сил пытаюсь выяснить, как получить мои данные и сравнить их друг с другом, чтобы определить большие значения. %Это ...
вопрос задан: 28 March 2019 04:26
1
ответ
Как конвертировать строковый список с числовым списком друг друга в прологе?
Я хочу преобразовать список строк в список номеров. Это реализовано в Прологе. Например: L = ['21', '45', '06'] должно стать X = [21, 45, 6]. Как это кодировать в Прологе?
вопрос задан: 19 March 2019 19:31
1
ответ
Обновление переменных в матрице в прологе
Как элемент в матрице обновляется в прологе? L = [[1,2,3], [4,5,6], [7,8,9]] nth0 (1, L, Row). Строка = [4,5,6] nth0 (1, Строка, 8]. Ложь!
вопрос задан: 17 March 2019 23:05
1
ответ
Почему Prolog объединяет свободную переменную с другой свободной?
maxmin ([X | L], Max, Min): - maxmin (L, X, X, Max, Min),! maxmin ([], CurrentMax, CurrentMin, Max, Min): - Макс. это CurrentMax, мин. maxmin ([X | L], CurrentMax, ...
вопрос задан: 7 March 2019 09:06
1
ответ
Сдвиг списка N раз с использованием пролога []: - Упражнение 3.6 «Программирование пролога для искусственного интеллекта» Ивана Бтрако
Я хочу создать предикатный сдвиг (List1, List2), где List2 - это List1, смещенный поочередно на один элемент влево. Пример:? - смещение ([1,2,3,4], L1), смещение (L1, L2), смещение (L2, L3). L1 = [2, 3, 4, 1], ...
вопрос задан: 6 March 2019 20:47
1
ответ
PROLOG Рекурсивное умножение переполнения стека
умножения (А, 0,0). умножить (A, B, C): - D - это B-1, умножить (A, D, E), C - это E + A. После использования этого правила один раз, и Пролог возвращает ответ, если я хочу, чтобы он продолжил поиск (подсказки A = 5? И я нажал;), ...
вопрос задан: 1 March 2019 02:20
1
ответ
Листинг / 1 с кодами символов, отображаемыми в виде символов, а не кодов?
Использование версии SWI-Prolog:? - current_prolog_flag (windows, Value). Значение = правда. ? - current_prolog_flag (версия, значение). Значение = 80000. Для простого DCG constant_value - > "Я БЫ". листинг / 1 ...
вопрос задан: 18 January 2019 14:09
1
ответ
Ленивые списки в Prolog?
Возможно ли иметь ленивые списки в Prolog? Что-то вроде следующего: ones([1 | Y]) :- ones(Y). Хотя это, очевидно, не работает в том виде, в котором написано.
вопрос задан: 1 October 2015 21:20
1
ответ
Как мне включить файл .pl в Prolog?
Я хотел бы включить код из другого исходного файла. Кто-нибудь знает, как это сделать?
вопрос задан: 17 August 2015 18:46
1
ответ
Приоритет оператора Prolog и соответствие правил
У меня есть следующие два факта, загруженные в моем интерпретаторе пролога: нечто (U+V, 1). нечто (U*V, 2). Теперь я пробую следующие запросы этим результаты: нечто (x*x+x, R).-> R = 1 нечто (x+x*x, R).-> R = 1 нечто (x*x*x...
вопрос задан: 3 May 2015 19:08
1
ответ
Выключение предупреждений в swi-прологе
Как я могу выключить предупреждения в swi-прологе. Пункты XXX/AA не находятся вместе в исходном файле, является очень раздражающим.
вопрос задан: 31 December 2014 17:01
1
ответ
Простой код пролога для мелкого списка integer [duplicate]
я пытаюсь понять этот вопрос «Напишите программу, которая читает целое число x и список целых чисел L, затем найдите список всех позиций x в L и верните результирующий список. Например, ...
вопрос задан: 6 October 2014 19:48
1
ответ
функция питания в прологе
Что не так с моей функцией питания? голова (_, 0,1). голова (X, Y, Z):-голова (X, Y-1, X*Z).? - голова (2,3, Z). ОШИБКА: Из глобального стека
вопрос задан: 1 June 2014 23:38
1
ответ
Пролог: Kth Самый большой элемент списка [дубликат]
Я изучаю Пролог и пытаюсь решить некоторые из упражнений из книги «Искусство Пролога». Кто-то, пожалуйста, помогите мне решить Q 3.3.1. (Vi), ниже проблема - Q. Напишите логическую программу для ...
вопрос задан: 3 February 2014 15:59
1
ответ
Две звезды в списке Пролога
каковы эти две звезды в списке? [53, 5, 1, 53, 97, 115, 53, 50, 52, 121, 55, 56, 55, 97, 4, 1, 98, **] я пытался искать, но никакой успех.
вопрос задан: 3 February 2014 00:37
1
ответ
Пролог - УТВЕРЖДАЕТ и ОТРЕКАЕТСЯ
Я задавался вопросом, я знаю, что можно использовать, утверждают для добавления фактов или правил или безотносительно если Вы объявили, что предикат-:dynamic, но это только позволяет изменения, которые внесены, чтобы быть сохраненными в этом...
вопрос задан: 3 February 2014 00:30