Вопросы с тегом 'prolog'

Количество результатов: 316

0 голосов
1 ответ
DFA удалить недопустимые символы

Так что я представляю это DFA: Как это initial(0). final(2). arc(0,a,1). arc(0,b,0). arc(1,a,1). arc(1,b,2). arc(2,a,2). arc(2,b,2). И у меня есть предикат, к...

2 голоса
1 ответ
Мой предикат для вычисления глубины ветки двоичного дерева не работает

Я пытаюсь вычислить глубину левой ветви в двоичных деревьях, но предикат продолжает давать сбой! я пробовал trace. и я пришел к выводу, что статус отказа должен исход...

4 голоса
2 ответа
Пролог - привязка операторов

Я делаю упражнение из «Программирования пролога для искусственного интеллекта» Ивана Братко. Упражнение говорит: Определите операторы 'if', 'then', 'else' и ': =',...

0 голосов
0 ответов
Как решить этот алгоритм в коде Пролог? (производственные системы)

Я являюсь одним из самых больших новичков в Прологе и пытаюсь понять, как можно написать следующую загадку в виде кода Пролога: "«Чтобы проиллюстрировать производстве...

0 голосов
2 ответа
Понимание отрицания в Прологе

Учитывая следующую базу знаний: car(X) :- ferrari(X). car(X) :- bmw(X). car(X) :- ford(X). ferrari(f). ferrari(y). bmw(b). ford(a). Почему эти два (казалось бы, ид...

1 голос
1 ответ
Используя & # 39; или & # 39; в прологе

По какой-то причине эти два фрагмента кода не эквивалентны, причем первый дает очень странные (и неверные результаты). -- Method 1 highestElement1([],A,A). highestEle...

1 голос
1 ответ
Пролог: если в диаграмме можно пересечь два узла

Вот вопрос, который мне дали: Определите путь предиката Пролог (X, Y, G), где путь (-, -, +), который   истина, когда существует путь от узла X к узлу Y в ориентир...

1 голос
1 ответ
Почему это не объединяет? пролог

Здесь у нас есть два предиката len -> вернуть длину списка. processRel -> вызывает лен. len([],0). len([_|T], R):- len(T,X), R is X+1. processRel([H...

1 голос
1 ответ
Как я могу преобразовать прописные буквы в строчные?

У меня есть предикат, который принимает два аргумента, в которых первый аргумент может быть составным, а второй - всегда B. Я также определил некоторые новые операторы...

1 голос
2 ответа
Проблема лабиринта пролога: код дает бесконечные пути от начала до конца и не возвращается

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

3 голоса
1 ответ
Пролог - бесконечный цикл при закрытии SWI-пролога

Я написал код ниже в прологе: go :- write(">>"), read(X), process(X). И делать разные вещи с процессом/1. Чтобы поймать любые неизвестные команды, которые я д...

0 голосов
0 ответов
PROLOG - Создать список всех связанных компонентов графика

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

3 голоса
3 ответа
Пролог программы

Это программа, которую я имею: foo(L,[H|R1]) :- foo(L,R1,H). foo([H],[],H). foo([H|T],[H|T1],R) :- foo(T,T1,R). Это запрос: foo([1,2,3,4,5,6],X). Я не п...

3 голоса
1 ответ
Пролог - приоритет операторов - Братко - Глава 3

Я работаю над упражнениями в главе 3 «Программирование пролога для искусственного интеллекта» Ивана Братко. Упражнение 3.13 гласит: Предложите соответствующее о...

1 голос
1 ответ
Ошибка при попытке сохранить одну тройку rdf с помощью rdf_save в файл

Попытка сохранить rdf-тройки в файл с помощью пакета semweb в swi-prolog, но продолжает выдавать ошибку, и тройки не сохраняются правильно. Следующий небольшой код де...

9 голосов
4 ответа
Понимание списков прологов

Я пытаюсь понять списки Пролога и как 'возвращаются'/создаются значения в конце рекурсивной функции. Я смотрю на этот простой пример: val_and_remainder(X,[X|Xs],Xs)....

0 голосов
1 ответ
Что подразумевается под следующими двумя строками?

adjacent(X, Y) :- X =:= Y+1. adjacent(X, Y) :- X =:= Y-1. Что это значит? Я знаю что такое оператор \= средства. Это похоже на это?

2 голоса
0 ответов
Генерация возможных комбинаций в прологе

Я пытаюсь решить проблему «миссионеров и каннибалов» с помощью Пролога, в котором у вас есть входное число миссионеров и людоедов на одной стороне острова, и все они д...

0 голосов
0 ответов
Программа разрешения логики высказываний

Я должен написать программу, которая, используя логическое разрешение, может решить если пропозициональная формула является логическим правилом или нет. Программа прин...

1 голос
1 ответ
Первые элементы списка списка Пролог

Я изучаю Пролог и вижу этот код foo([],[]). foo([[A,_ ]|L], [A|P]) :-foo(L ,P). В результате говорят, что этот код занимает N элемент списка списка, Пример объявле...

0 голосов
1 ответ
Добавление элементов списка пролога в элементы списка в c #

Мой код находит факты на основе диапазона значений: ara_deger_price(L,H,Res) :- findall( (Id,B,C,D,Price,F,Points), ( table(Id,B,C,D,Price,F,Points), ...

3 голоса
1 ответ
Представление линейных функций в прологе

Я хочу написать составные термины, которые представляют линейные отношения между различными переменными в совокупности в форме Y = a + b * X (например, fuelConsuration...

2 голоса
1 ответ
Конвертировать предложения FOL в PROLOG

Я очень новичок в PROLOG, так что это может быть очень тривиальный вопрос, но у меня совершенно нет Идея как это решить. Мне нужно сформулировать 4 предложения в коде ...

2 голоса
2 ответа
разбить множество на n подмножеств, используя пролог

Я борюсь со следующей проблемой, разделить набор на n подмножеств, используя пролог. Так, например, я даю в качестве входных данных для программы: X = [1,2,3,4], N = ...

2 голоса
1 ответ
Как понять этот make-файл SWI-Prolog - как создается исполняемый файл Linux?

Я пытаюсь скомпилировать грамматический парсер https://github.com/RichardMoot/Grail в программу Linux по инструкции https://github.com/RichardMoot/Grail/blob/master/RE...

1 голос
1 ответ
Пролог - Ханойские Башни, выводящие «Башни» как они после каждого шага

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

8 голосов
2 ответа
Как использовать предикат, разделяющий одно и то же имя из нескольких модулей в Прологе

Я новичок в Прологе, и я борюсь со следующей проблемой, используя SWI-Пролог. У меня есть несколько файлов dataBase1.pl, dataBase2.pl, .. с такой же структурой (основы...

-2 голоса
1 ответ
Внедрение решателя судоку в Прологе

Как реализовать больше чем судоку солвер в Прологе с использованием clpfd? У меня есть проблемы с выяснением, как добавить эти ограничения больше, чем в обычный решате...

0 голосов
1 ответ
Замена атома на соответствующее значение из списка в Прологе

У меня есть следующий код. Я передаю атом в качестве первого аргумента список равенств в качестве второго аргумента, и я хочу вернуть значение атома в соответствии со ...

1 голос
1 ответ
JSON получить пролог предикат

Я пытаюсь создать этот предикат в прологе: Предикат json_get/3 можно определить как: json_get(JSON_obj, Fields, Result). что верно, когда Result можно восстановить...

0 голосов
0 ответов
Пролог оценщик, который использует ранее решенную информацию в качестве входных данных

Я написал программу, которая принимает дерево разбора в качестве входных данных и оценивает его. Это работает, когда идентификаторы в дереве не повторяются. Я хочу, чт...

0 голосов
1 ответ
Concat атомов в прологе и исключить кавычки в ответе

Вот моя программа clause1(A,Answer2):- atom_concat(A,' = 2',Answer), Answer2 = [Answer]. Когда я бегу ?- clause1(var,Answer2). я получил Answer2 = ['var...

1 голос
2 ответа
Пролог, как добавлять элементы из одного списка в второй

Доброе утроУ меня есть список в следующем формате: [(1-4),(2-4), (3-4)] Я хотел бы изменить это на: [4,3,4,2,4,1] Я пробовал 2 программы: changeList([], Z) ...

1 голос
0 ответов
Как работает метод генерации и тестирования в прологе?

Мне нужна помощь, чтобы понять, что такое метод генерации и тестирования в прологе, для чего он используется и как его использовать. Я искал ответы онлайн, но не могу ...

3 голоса
1 ответ
Почему пролог использует наиболее общий-унификатор, а не просто унификатор

Пролог использует самый общий унификатор вместо простого, почему это так? Если я не ошибаюсь, я думаю, что, поскольку Пролог основан на возврате, и если мы не исполь...

0 голосов
2 ответа
Список в прологе с элементами в круглых скобках

Доброе утро У меня есть список, похожий на этот: [(1-4), (2-4), (3-4)]. Я хотел бы написать только первую/вторую/третью часть круглой скобки. Я написал функцию: wri...

1 голос
1 ответ
Вычислить список и его подсписки в обратном порядке Пролог

У меня есть список, состоящий из целых чисел и списков целых чисел, и я хочу вычислить списки в обратном порядке (каждый подсписок перевернут) %addToEnd(E:number,L:li...

1 голос
1 ответ
Пролог ввод/вывод

Я пытаюсь написать предикат для чтения и записи файла JSON в прологе. Когда я спрашиваю пролог запроса с моим собственным предикатом, он отвечает сообщением об ошибк...

0 голосов
2 ответа
Свернуть/1 не переставляет порядок решений

Для Colombia Observatorio Fiscal [1] я кодирую простую проблему минимизации налогов, используя CLP (R) (в SWI-Prolog). Я хочу использовать свернуть/1, чтобы сначала на...

0 голосов
1 ответ
Пролог: проверка, начинается ли предложение с круглых скобок

Я пытаюсь написать предложение, которое проверяет, является ли предложение, переданное в него, (а), так что если я позвоню factor([(,a,)]). Вернется правда Когда у ме...

1 2 3 4 5 6 7 8 right