Concaténation de listes dans Prolog

Question

Quelqu'un peut-il aider à trouver une erreur dans cette règle?

concat([], List, List). 
concat([Head|[]], List, [Head|List]). 
concat([Head|Tail], List, Concat) :- concat(Tail, List, C), concat(Head, C, Concat). 

Essayer de concaténer 2 listes échoue:

| ?- concat([1,2], [4,7,0], What). 

no 

Answer 1

Pour corriger votre code, la façon dont vous l'intention, vous avez juste besoin de transformer Head en [Head] dans votre dernier appel à concat/3 dans votre dernière clause . Le problème était que vous appeliez votre prédicat avec Head uniquement comme premier argument, ce qui n'est pas une liste.

Bien que, voici quelques notes:

• [Head|[]] est équivalent à [Head]
• votre algorithme a une complexité pauvre, n! Je crois.
• sans couper après votre deuxième clause, vous générez des points de choix infinis grâce à l'appel de votre troisième clause avec une liste de longueur 1 (qui appelle donc votre deuxième clause, qui traverse ensuite votre troisième clause, etc. . boucle infinie).

Voici la version SWI-pl, vous allusion vers la bonne récursion Prolog:

append([], List, List). 
append([Head|Tail], List, [Head|Rest]) :- 
    append(Tail, List, Rest). 

Vous pouvez trouver d'autres ressources sur les messages récents ici ou dans Learn Prolog Now! tutoriel si vous voulez apprendre à utiliser récursion correctement.

Answer 2

Cela peut être fait en utilisant append.

concatenate(List1, List2, Result):- 
    append(List1, List2, Result). 

Espérons que cela aide.

Answer 3

Voici l'enchaînement entre deux listes règle:

concat([],L2,L2). concat([Head|Tail],L2,[Head|L3]) :- concat(Tail,L2,L3).