prolog - 显式地使上下文无关语法句子解析失败

Question

我有一个上下文无关的语法句子解析器，它可以正常工作，除了当您输入其知识库中不存在或不符合语法的内容时，它将保持在无限循环中。我假设我简单的 cut 语句将解决此问题，但我不确定将其放置在哪里，因为一切都相互递归。

Answer 1

看看在你的上下文无关语法中删除左递归是否会摆脱无限循环行为。