我正在研究Prolog中的语法,我对从经典的BNF语法到Prolog DCG语法格式的转换有疑问。 例如我有以下BNF语法: <s> ::= a b
<s> ::= a <s> b
,通过改写,生成类型的所有字符串: ab
aabb
aaabbb
aaaabbbb
.....
.....
a^n b^n
找上了伊万·布拉科书编程人工智能他转换这BNF语法以这种方式转化为DCG
我设法为给定的句子构建解析树,这里是句子:“这个人回家了。” T = s(np(det(the), n(man)), vp(v(went), np(n(home))))
1)如何在这个上使用phrase/2? How to translate a sentence in a logical language using prolog? - 与我所需要的类似,但它的解决方案对我无效。 2)我想映