Prolog Création d'une liste me donner un hasard | dans la liste.

Question

Je fais des problèmes aléatoires pour la pratique et je continue à courir dans le même petit problème avec les listes. Pour une raison quelconque, je continue d'obtenir un symbole de pipe à la fin de la liste quand j'insère/ajoute/modifie la liste. Exemple d'un code tel que le fait que pour moi:

insertBetween([], E, []). 
insertBetween([X], E, X). 
insertBetween([X|Xs], E, [X, E | Zs]):- insertBetween(Xs, E, Zs). 

J'essaie la commande suivante:

insertBetween([1,2,3], 0, Res). 

qui reviennent comme: Res = [1, 0, 2, 0 | 3].

Pourquoi est-ce que j'obtiens cette réponse quand on s'attend à obtenir Res = [1,0,2,0,3]? Est-ce que je fais mal les cas de base? Depuis quelques semaines, je suis venu à ne pas aimer ce programme lang ... lol

Answer 1

En plus de @ faux de réponse, même si vous écrivez: insertBetween([X], E, [X]). au lieu de insertBetween([X], E, X). vous obtenez:

?- insertBetween([1,2,3], 0, Res). 
Res = [1, 0, 2, 0, 3] ; 
Res = [1, 0, 2, 0, 3, 0]. 

Ce parce que les deuxième et troisième règles/clauses peuvent à la fois réussir donnant des résultats différents, donc vous avez besoin pour faire la troisième clause diffère de la deuxième comme:

insertBetween([], _, []). 
insertBetween([X], _, [X]). 
insertBetween([X,Y|Xs], E, [X, E | Zs]):- insertBetween([Y|Xs], E, Zs). 

Cela donne:

?- insertBetween([1,2,3], 0, Res). 
Res = [1, 0, 2, 0, 3] ; 
false. 

Notez que la troisième clause fonctionne si la liste a au moins deux éléments mais quand elle n'en a qu'une, la deuxième clause réussit. Aussi quand vous avez par exemple: insertBetween([], E, []). où E n'est pas utilisé il est préférable de le remplacer par insertBetween([], _, []).

Answer 2

insertBetween([X], E, X). 
      ^ ^

Alors X est un élément d'une liste et une liste.