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