当涉及到prolog时,我是一个非常绿色的人,但本质上,我要做的是实现递归来解析语法规则。我所拥有的似乎在逻辑上是正确的,但显然不是因为我没有得到预期的结果。S -> X Y ZY -> b Y | b下面是prolog代码:xs(X0, X):- xs(X0, X).ys(X0, X):- ys(X0, X).
zs(X0, X
我在slight解析中遇到了一个似乎无法解决的小问题。我想写一条规则,为我解析一个多行段落。最终目标是得到一个递归语法,它将解析以下内容: This is a paragraph and then then we have more text
with more lines attached
This is another indented block