立即学习Prolog！ DCG练习示例

Question

我一直在通过Learn Prolog Now!进行自学，现在我正在学习有关定义语句的文法。我在实际会议的任务中遇到了一些困难。 The task读取：

正式语言^Ñ b ^2米Ç^2米 d ^Ñ由下列形式的所有字符串的：依次不间断的块的一个秒的完整块 b的随后的ç秒的完整块，随后的 d秒的完整块， S，从而使所述一个和 d块是完全相同的长度，并且Ç和 d块也完全一样的长度和分别小号还包括一个偶数的Ç S和 d的。例如，＆epsilon;， abbccd，和 aaabbbbccccddd都属于一个^Ñ b ^2米Ç^2米 d ^Ñ。写一个生成这种语言的DCG。

我能够编写生成^ň d ^ñ规则，B ^2米Ç^2米，甚至^ň b ^2米和c ^2米 d ^ñ ...但我似乎无法将所有这些规则加入到ⁿ b ^2m c ^2m d ⁿ。以下是我的规则，可以生成ⁿ d ⁿ和b ^2m c ^2m。

s1 --> []. 
s1 --> a,s1,d. 
a --> [a]. 
d --> [d]. 

s2 --> []. 
s2 --> c,c,s2,d,d. 
c --> [c]. 
d --> [d]. 

是一个^ň b ^2米Ç^2米 d ^ň真的CFG，并有可能只使用了什么的教训教（没有额外的参数或代码写DCG等）？如果是这样，任何人都可以提供一些指导我如何加入这些，以便我可以解决给定的任务？

Answer 1

@Timothy，你的答案的工作，但它会产生重复：

?- length(S,_), s(S,[]). 
S = [] ; 
S = [a, d] ; 
S = [a, d] ;   % XXX 
S = [b, b, c, c] ; 
S = [a, a, d, d] ; 
S = [a, a, d, d] ;  % XXX 

这样就可以消除一个条款是固定的，留下DCG：

s --> x. 
s --> a,s,d. 

x --> []. 
x --> b,b,x,c,c. 

% a, b, c, d the same 

这产生：

?- length(S,_), s(S,[]). 
S = [] ; 
S = [a, d] ; 
S = [b, b, c, c] ; 
S = [a, a, d, d] ; 
S = [a, b, b, c, c, d] ; 
S = [a, a, a, d, d, d] ; 
S = [b, b, b, b, c, c, c, c] ; 
S = [a, a, b, b, c, c, d, d] ; 
S = [a, a, a, a, d, d, d, d] ; 

Answer 2

如何像：

n(L,N) --> n(L,N,0). 

n(_,N,N) --> [], !. 
n(L,N,K) --> L, {K1 is K + 1}, n(L, N, K1). 

abbccd(N,M) --> 
    {M1 is 2*M}, 
    n("a",N), 
    n("b",M1), 
    n("c",M1), 
    n("d",N). 

gen :- 
    forall((
      between(1,4,N), 
     between(1,4,M), 
     phrase(abbccd(N,M),S), 
     string_to_atom(S,A) 
      ), 
      writeln(A)). 

执行：

?- gen. 
abbccd 
abbbbccccd 
abbbbbbccccccd 
abbbbbbbbccccccccd 
aabbccdd 
aabbbbccccdd 
aabbbbbbccccccdd 
aabbbbbbbbccccccccdd 
aaabbccddd 
aaabbbbccccddd 
aaabbbbbbccccccddd 
aaabbbbbbbbccccccccddd 
aaaabbccdddd 
aaaabbbbccccdddd 
aaaabbbbbbccccccdddd 
aaaabbbbbbbbccccccccdddd 
true. 

Answer 3

我相信我想通了...

s --> x. 
s --> a,d. 
s --> a,s,d. 

x --> []. 
x --> b,b,x,c,c. 

a --> [a]. 
b --> [b]. 
c --> [c]. 
d --> [d]. 

?- s([],[]). 
Yes 

?- s([a,b,c,c,d],[]). 
No 

?- s([a,a,a,b,b,c,c,d,d,d],[]). 
Yes 

这是一件有趣的事情看的解决方案，并认为，“我绞尽脑汁想了是？”但我想这是学习新东西的乐趣的一半，特别是当它像逻辑程序来自命令式编程背景时。