Recherche:

Le false est du au mécanisme Prolog : j'ai eu une première réponse, puis en tapant sur la barre d'espace, j'ai demandé s'il y avait une autre réponse (par backtrack), comme il n'y en a pas, j'ai eu...

Comme il vous a été indiqué sur un autre forum, il faut utiliser les DCG
Voici un exemple de ce que l'on peut faire, ceci n'est pas vraiment testé :

poly(Exp, L) :-
atomic_list_concat(List, '...