向 DCG Prolog 寻求答案

Question

我有一个用 prolog 编写的 DCG，它试图将字符串翻译成简单的命题逻辑。

目前的规则是： + 表示 OR，* 表示 AND，- 表示 NOT

g(or(X,Y)) -->
    f(X),
    "+",
    g(Y).
g(X) -->
    f(X).

f(and(X,Y)) -->
   e(X),
   "*",
   f(Y).
f(X) -->
   e(X).

e(not(X)) -->
   "-",
   d(X).
e(X) -->
   d(X).

d(X)-->
   "(",
   g(X),
   ")".    
d(a)-->
   "a".
d(b)-->
   "b".

但是我遇到了 Out of local trace 错误的问题。

这段代码应该是正确的，但是我如何让 Prolog 给出 and(not(or(a,b)),or(b,not(a))) 作为对 -(a+b) * (b + -a)

的回答

Answer 1

你的语法看起来不错，但是你忘了 handle/skip 空格

?- phrase(g(X), `-(a+b)*(b+-a)`).
X = and(not(or(a, b)), or(b, not(a))) ;
false.

（注意：我已经手动删除了所有空白，并使用 SWI-Prolog 扩展作为代码列表的文字。）

向 DCG Prolog 寻求答案

Asking DCG Prolog for an answer

prolog

swi-prolog

dcg