Finden Sie Wiederholungen in einer Liste

Question

Wie würde ich fortlaufende Wiederholung einer Zeichenfolge in einer Liste in Prolog suchen.

Was ich genau das zu finden, zum Beispiel versuchen, ist dies:

input => output 
AAAAAA => 6*(A) 
ABABAB => 3*(AB) 
ABCABCABC => 3*(ABC) 

ich eine DCG Grammatik für diese geschrieben und ich versuche, es mir dies als ein Ergebnis zu haben geben.

Hier ist die Grammatik, falls erforderlich:

exp --> term. 
exp --> term, [+], exp. 

term --> factor. 
term --> digit, [*], exp. 

factor --> elem. 
factor --> ['S'], ['['], sym, [']']. %S[(A)(B),(C)] 
factor --> ['<'], alt, ['>'], ['/'], ['<'], alt, ['>']. %<(A)>/<(B)(C)(D)> 
factor --> ['('], exp, [')']. 

sym --> factor. 
sym --> factor, [','], factor. 
sym --> factor, sym. 

alt --> factor. 
alt --> factor, alt. 

elem --> char. 
elem --> char, elem. 
char --> [D], {is_alnum(D)}. 
digit --> [D], {is_alnum(D)}. 
digit --> [D], {number(D)}. 

nbr_to_char(N, Cs) :- 
    name(Cs, [N]). 
str_to_list(S, Cs) :- 
    name(S, Xs), 
    maplist(nbr_to_char, Xs, Cs). 

eval(L) :- 
    str_to_list(L, X), 
exp(X, []). 

Vielen Dank für jede Hilfe.

Answer 1

Ich denke, was Sie suchen, ist Pack (dcg_util). Aber auch prüfen/2 anfügen:

?- A=`ababab`. 
A = [97, 98, 97, 98, 97, 98]. 

?- append([X,X,X],$A). 
X = [97, 98], 
A = [97, 98, 97, 98, 97, 98] ; 
false. 

Nun, wenn wir ein ziemlich mächtiges Konstrukt nur eine einfache Möglichkeit finden, um Listen von wiederholten Variablen zu machen, wir haben, können wir verwenden, um Probleme zu lösen. Lassen Sie uns versuchen:

?- length(L,3),maplist(=(X),L). 
L = [X, X, X]. 

So:

?- length(L,_),maplist(=(X),L),append(L,$A). 
L = [[97, 98, 97, 98, 97, 98]], 
X = A, A = [97, 98, 97, 98, 97, 98] ; 
L = [[97, 98], [97, 98], [97, 98]], 
X = [97, 98], 
A = [97, 98, 97, 98, 97, 98] ; 
^CAction (h for help) ? abort 
% Execution Aborted 

oops, nie endende Geschichte ... aber ein bisschen langweilig. Brauchen Sie ein bisschen mehr Code, Durchsetzung der Domain-Kenntnisse (Absacken, wirklich ...)

?- length($A,U),between(1,U,N),length(L,N),maplist(=(X),L),append(L,$A). 
U = 6, 
N = 1, 
L = [[97, 98, 97, 98, 97, 98]], 
X = A, A = A, A = [97, 98, 97, 98, 97, 98] ; 
U = 6, 
N = 3, 
L = [[97, 98], [97, 98], [97, 98]], 
X = [97, 98], 
A = A, A = [97, 98, 97, 98, 97, 98] ; 
false.