Пролог: Комбинирование грамматик DCG с другими ограничениями

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

Но я бы хотел объединить этот поиск с другими ограничениями. Например, определите сложную грамматику и попросите Пролог сгенерировать все предложения, содержащие не более 10 слов. Или все предложения, в которых одно и то же слово не повторяется дважды.

Можно ли добавить такие дополнительные ограничения к грамматору DCG? Или мне просто нужно перевести DCG обратно в обычные предложения Prolog и начать их изменять?

10
задан false 26 November 2011 в 02:03
поделиться