Prolog:识别 n >= 1 的 a^n b^(n+1) 语言

Question

我知道我需要自己搞清楚作业，但看到类没有人能搞清楚，我需要一些帮助。

Write a Prolog program such that p(X) is true if X is a list consisting of n a's followed by n+1 b's, for any n >= 1.

Answer 1

我不记得如何在 Prolog 中编写此代码，但想法是这样的:

规则 1:如果listsize为1，如果元素是B则返回true。

规则 2:如果listsize为2，则返回false。

规则 3:检查列表中的第一项是否为 A，最后一项是否为 B。如果这是真的，则将元素 2 的解返回给 listsize-1。

如果我正确理解你的问题，那应该是完美的 Prolog 风格解决方案。

编辑:我完全忘记了这一点。我编辑了答案以考虑 n = 1 和 n = 2 的情况。感谢 Heath Hunnicutt。