prolog - 自定义 DCG 运算符

Question

假设我想编写一个自定义运算符，用于以重复的方式编写 DCG 规则。

例如，假设我有一个 DCG，ws使得:

ws --> [].
ws --> " ", ws.

匹配零个或多个空格。显然，如果我想在我的语法中的每个标记之间使用可选的空格，那么必须放置 , ws 是令人讨厌的。到处。

我可以定义一个新的运算符来替换 ,/2 .

:- op(1000, xfy, [ -- ]).
:- meta_predicate --(*,*,?,?).
--(L,R) --> ({callable(L)} -> call(L); L), ws, ({callable(R)} -> call(R); R).

这加入了 --/2的左右手通过可选的空白规则。这大部分工作正常，但某些事情会绊倒它:

rule --> "foo" -- ("bar"; "quux").

如果我尝试执行此规则，则会收到错误消息 ;/4没有定义。我对这里的问题有一个模糊的概念，但基本上问题是:是否有一种方法可以为 DCG 定义新的操作符，这些操作符的通用性与 ,/2 相同。 ?

Answer 1

是 ， 这个有可能。

目前，主要问题是:

?- 可调用(“foo”)。
真的。

所以，我建议这个更简单的定义:

--(L, R) --> L, ws, R.

另外，我建议:

:- set_prolog_flag(double_quotes, chars)。

示例查询:

?- 短语(规则，Ls)。
Ls = [f, o, o, b, a, r] ;
Ls = [f, o, o, q, u, u, x] ;
ls = [f, o, o, ' ', b, a, r] ;
ls = [f, o, o, ' ', q, u, u, x] ;
Ls = [f, o, o, ' ', ' ', b, a, r] 。

再举一个例子，让我们改用这个规则:

规则 --> "foo"-- ("bar"| "quux") -- "test"。

现在我们得到例如:

?- 长度(Ls，_)，短语(规则，Ls)。
Ls = [f, o, o, b, a, r, t, e, s, t] ;
ls = [f, o, o, b, a, r, ' ', t, e, s, t] ;
Ls = [f, o, o, q, u, u, x, t, e, s, t] ;
ls = [f, o, o, ' ', b, a, r, t, e, s, t];
ls = [f, o, o, b, a, r, ' ', ' ', t, e, s, t] ;
Ls = [f, o, o, q, u, u, x, ' ', t, e, s, t];
ls = [f, o, o, ' ', b, a, r, ' ', t, e, s, t];
ls = [f, o, o, ' ', q, u, u, x, t, e, s, t];
ls = [f, o, o, ' ', ' ', b, a, r, t, e, s, t] ;
Ls = [f, o, o, b, a, r, ' ', ' ', ' ', t, e, s, t] 。

注意如何迭代深化用于公平枚举。