dcg

3зной

2ответ

У меня есть этот список списков: L = [[[a,b],[d,e]],[[m,f],[p,o]],[[r,l],[v,d]]]. Я хочу написать функцию с помощью Пролог что уплощается это таким образом, что она становится так: L = [[a,b],[c,d],

4зной

3ответ

Есть ли способ или алгоритм преобразования DCG в нормальные определенные предложения в Prolog?

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

0зной

2ответ

Prolog - Конкатенация списков в деревьях

Мне нужно написать предикат ListInTree (T, X), который является истинным, когда T является деревом со списком в каждом узле, а X является конкатенацией всех списков (предполагая посетить в Предзаказ).

7зной

4ответ

Как эта контекстная свободная грамматика с использованием списков разностей в Prolog функционирует?

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

4зной

3ответ

список значений в листовых узлах двоичного дерева T

Список - это список значений в листовых узлах двоичного дерева, и я пытаюсь выяснить, как это выводить. Это дает мне все узлы, но мне нужны только листья. lea(nil,[]). lea(t(X,L,R),[X|L]) :- lea

0зной

1ответ

Застрял на перевод CFG для DCG

Я пытаюсь научить себя пролог и реализацию интерпретатора для простого арифметического CFG: <expression> --> number <expression> --> (<expression>) <expression> --> <expression> + <expression> <exp