Prolog语法解析器匹配失败求助：为何查询返回false？

可能的原因 #

• 终结符匹配不一致：语法中B规则的括号()、F规则的大括号{}都是终结符，若代码中未将这些符号定义为带引号的原子（如'('、'}'），或使用了全角符号（如（、）），会导致与查询中的原子无法匹配。
• N规则的符号错误：语法中N允许-，但如果代码里将N的规则写成了全角减号−，或遗漏了'-'这个选项，会导致x - y无法匹配T N T结构。
• S规则的匹配逻辑问题：Prolog深度优先搜索会优先尝试S的第一个规则（F），若F规则中内部的S（即大括号内的x - y）未正确实现T N T的匹配逻辑，会导致整个F匹配失败，且后续的S规则（T N T）可能因回溯路径未触发而无法匹配。
• Parse规则未完全匹配输入：若parse/1的实现未要求输入列表被完全消耗（即未调用s(L, [])），即使部分匹配成功，也会返回false。

解决方向 #

• 验证终结符匹配：检查代码中B、F规则里的括号、大括号是否为半角带引号原子，确保与查询中的'('、')'、'{'、'}'完全一致。
• 修正N规则：确认N的DCG规则为n --> ['+'] | ['-'] | ['='].，保证半角减号'-'被包含在内。
• 分步调试规则：
  • 先测试B规则：?- b(['(',x,'>',y,')'], []).，确认括号内的条件能正确匹配。
  • 再测试S的T N T分支：?- s([x,'-',y], []).，确保x - y能被S匹配。
  • 接着测试F规则：?- f([if,'(',x,'>',y,')',then,'{',x,'-',y,'}'], []).，定位F内部的匹配问题。
• 检查Parse实现：确保parse(L)的定义为parse(L) :- s(L, []).，要求输入列表被完全解析为空列表。

内容的提问来源于stack exchange，提问作者Jjenn