Результаты поиска по запросу "prolog"
Удалите Неоднозначность в абстрактном синтаксисе, чтобы написать DCG-парсер Prolog
P => Программа K => Блок S => одиночная команда C => Команды E => Выражение B => Boolean-expr I => Идентификатор N> цифра P :: = K. K :: = начало C конец C :: = C1; С2 | S S :: = I: = E | если (B), то S | если (B), то S1 еще S2 | в то ...
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG: factor(X) --> "(", expr(X), ")".Обычно это будет переведено на: factor(X, A, B) :- [40|C] = A, expr(X, C, D), [41|B] = D.Разрешено ли системе Пролога переводить ее следующим образом, ...
Пролог - перевод с английского на C
У нас есть относительно простое задание, которое я понимаю в теории, но я думаю, что просто не совсем понимаю синтаксис Пролога, чтобы включить его в код. По сути, у нас есть список английских обозначений, которые представляют операции в C. Они ...
Каковы оптимальные зеленые срезы для суммы арифметики преемника?
Чтобы получить зеленые сокращения в Прологе, я пытаюсь добавить их к стандартному определению суммы в арифметике преемника (см. Предикатplus вЧто такое дерево SLD для этого запроса? [https://stackoverflow.com/questions/13162803]). Идея состоит в ...
Удалить гласные в списке
Напишите программу, которая удаляет гласные (String, NoVowelsString), который удаляет все гласные из данной строки. Пока у меня есть состояниеvowel(X):- member(X,[a,e,i,o,u]), Затем я подумал о том, что удаляет все элементы из другого ...
Получение порядка в разрешении предикатов
Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски): result(Input,Result) :- Input #> 10, Result=decline. result(Input,Result) :- Input in 0..20, Result=offer.Возможный запрос выглядит так: ?- result(15,B). B = ...
Обработка ограничений Prolog: Упаковочные квадраты
Я пытаюсь решить проблему обработки ограничений в прологе. Мне нужно упаковать 4 квадрата 5x5,4x4,3x3 и 2x2 в сетке 10x10. Они не могут пересекаться. Мои переменные выглядят так: Name: SqX(i), i=1..10, domain: 1..10Где X 5,4,3 или 2. Индекс i ...
Пролог - список CharCode для строки или символов
У меня есть список кодов символов в прологе. Я хотел бы изменить их на персонажей. Например, L = "abc" возвращаетсяL = [97,98,99] Если я начну сL = [97,98,99] Есть ли в любом случае, чтобы преобразовать L обратно в ABC, что, если существует ...
Использование \ == / 2 или dif / 2
Если я хочу убедиться, что две переменные не соответствуют одному и тому же термину, каков предпочтительный способ сделать это? Допустим, мне нужно найти ориентированные ребра в графе, а у узла не может быть ребра: node(a, x, y). node(b, z, x). ...
Очень простой синтаксис пролога dcg
Я пытаюсь понять пролог и грамматику определенного предложения, но мне очень трудно понять их оба. Я действительно пытаюсь понять, как использовать синтаксис DCG ... Здесь у меня есть два примера: Первый на самом деле код из другого вопроса на ...