Question

我需要解析一个表示这样的函数的字符串：

<fsignature>"(" <term1>, <term2> ... <termn>")"

还必须进一步控制功能'签名和术语，以便接受该功能。我在Prolog中写过这个DCG：

fsign --> {is_leg(A)}, [A].
terms --> (funct, funct; terms).
terms --> (terms, terms; term).
term --> {is_term(T)}, [T].

但是当我尝试使用短语（功能，[foo，“（”，a，a，“）”]）时，它似乎不起作用。它会溢出。 is_leg只检查字符串是否合法（以字符开头的字符串），而is_term应检查该字词是否为文字（常量，变量或函数）。

这是什么不起作用？我想，可能是变量 - 我应该将它们作为非终结符的参数吗？

感谢您的帮助。

Answer 1

如果你的表达式都是这样的：

<fsignature> "(" <term1> <term2> ... <termn> ")"

然后根据DCG写出来，它应该看起来像这样（减去你建议的任何字符串验证谓词）：

expression --> fsignature, ['('], terms, [')'].
fsignature --> ...      % whatever fsignature looks like
terms --> term.         % "terms" is a single term, or...
terms --> terms, term.  %   ... more terms followed by a single term.
term --> ...            % whatever a term looks like

您还可以将terms的定义写为：

terms --> term | terms, term.

请注意，terms的非递归定义发生在递归定义之前。此外，上面terms的定义假定您必须至少有一个词（此问题未在您的问题中说明）。

Prolog - 使用DCG解析函数

1 个答案: