Expressions régulières dans Prolog

Question

Pour en savoir un peu plus sur les expressions régulières dans Prolog, j'essaie d'écrire des fonctions qui déterminent si l'entrée correspond au motif; mes fonctions sont les suivantes:

split(W, [[], W]). 

split([X|W], [[X|W1], W2]) :- split(W, [W1, W2]). 

match(eps, []). 
match(symb(A), [ A ]). 
match(union(R1, R2), W) :- match(R1, W). 
match(union(R1, R2), W) :- match(R2, W). 
match(conc(R1, R2), W) :- split(W, [W1, W2]), W1 \= [], W2 \= [], match(R1, W1), match(R2, W2). 
match(star(R), W)  :- match(R, eps). 
match(star(R), W)  :- split(W, [W1, W2]), W1 \= [], match(R, W1), match(star(R), W2). 

Je SWIPL entrer dans ce qui suit et obtenir les résultats suivants:

?- match(star(symb(a)),[a,a,a,a]). 
false. 

?- match(star(symb(b)),[b]). 
false. 

Pour autant que je peux dire, les autres fonctions fonctionnent correctement. Quelqu'un peut-il me dire où je me suis trompé avec la manipulation des étoiles?

Merci!

Answer 1

Ah, peu importe je suis un imbécile. Je devais changer

match(star(R), W) :- match(R, eps). 

juste

match(star(R), []). 

Je continué à obtenir stackoverflows parce qu'il n'y avait aucun cas de base. Vivez et apprenez je suppose!