序言：认识到一个^ n b ^（n + 1）语言n> = 1

Question

我知道我需要弄清自己的功课，但是看到班上没有人能弄明白，我需要一些帮助。

写Prolog程序，使得p(X) 为真，如果X是由n a的后面n+1b的名单，对于任何n >= 1。

Answer 1

您应该使用计数器来跟踪您迄今为止发现的内容。当您找到b时，请在计数器中添加一个。当你找到一个a时，减去一个。您的计数器在整个列表遍历后的最终值应为1，因为您希望b的数量比a的数量多1。这里有一个如何编写代码的例子：

% When we see an "a" at the head of a list, we decrement the counter. 
validList([a|Tail], Counter) :- 
    NewCounter is Counter - 1, 
    validList(Tail, NewCounter). 

% When we see an "b" at the head of a list, we increment the counter. 
validList([b|Tail], Counter) :- 
    NewCounter is Counter + 1, 
    validList(Tail, NewCounter). 

% When we have been through the whole list, the counter should be 1. 
validList([], 1). 

% Shortcut for calling the function with a single parameter. 
p(X) :- 
    validList(X, 0). 

现在，这个会做几乎你想要的东西 - 它匹配所有n >= 0规则，当你想为所有n >= 1。在典型的家庭作业答案中，我留下了最后一点让你自己补充。

Answer 2

我不记得如何在Prolog的这一点，但这个想法是这样的：

规则1： 如果LISTSIZE是1，如果该元素是B.

第2条返回true ： 如果列表大小为2，则返回false。

规则3： 检查列表中的第一项是A，最后一个是B. 如果这是真的，返回元素2 LISTSIZE-1解决方案。

如果我正确理解您的问题，那应该是完美的Prolog样式解决方案。

编辑：我完全忘了这件事。我编辑了答案，考虑了n = 1和n = 2的情况。感谢Heath Hunnicutt。

Answer 3

这里是我的深奥的解决方案

:-use_module(library(clpfd)). 

n(L, N) --> 
    [L], 
    {N1 #= N-1 
    }, 
    !, n(L, N1). 
n(_, 0) --> [], !. 

ab --> 
    n(a, N), 
    {N1 is N + 1 
    }, 
    n(b, N1). 

p(X) :- phrase(ab, X). 

test :- 
    p([b]), 
    p([a,b,b]), 
    p([a,a,b,b,b]), 
    p([a,a,a,b,b,b,b]), 
    \+ p([a]), 
    \+ p([a,b]), 
    \+ p([a,a,b,b]), 
    \+ p([a,b,b,c]). 

测试：

?- [ab]. 
% ab compiled 0.00 sec, -36 bytes 
true. 

?- test. 
true.