编译语法的语法部分，我们需要在语法和语法上进行语法分析 那么这个步骤并非无足轻重：添加语义
我所做的是在前两步中使用DCG和prolog中的一些谓词，但现在我想知道它是如何为语义做的？ 我怎么考虑这个任务？ 分离到解析器或与它们混合？...
编辑：
通常，用DCG表达简单表达的语义为;
expr (Z) -> term(X) "+", expr(Y), {Z is X + Y}.
但如果语言基于B方法等逻辑公式，则问题会变得更加复杂， 我需要的是一些克服这个问题的技巧
抱歉表达错误
我非常感谢您的意见