Inverser la liste des listes

Question

J'ai un problème avec mon code prolog. J'ai besoin d'inverser tous les éléments atomiques de la liste.

Exemple: [1,2, [3,4]] -> [[4,3], 2,1]

Ma solution:

myReverse([], []). 
myReverse([H|T], X) :- myReverse(T, RT), myAppend(RT, H, X). 

Mais il me donne seulement: [[3,4], 2,1] Je pense, je dois utiliser la fonction is_list et la liste d'appels récursifs si ce n'est pas atomique ... mais je suis coincé ... les gars savez-vous comment l'écrire?

Answer 1

Presque. Considérez cette solution:

myReverse([], []) :- !. 

myReverse([H|T], X) :- 
    !, 
    myReverse(H, NewH), 
    myReverse(T, NewT), 
    append(NewT, [NewH], X). 

myReverse(X, X). 

La première clause est le cas de base, qui comprend une coupe (!) pour exclure les choix laissés à cause de la dernière clause.

La deuxième clause inverse la tête H, qui peut être un atome ou une liste. Si H est un atome, le sous-objectif récursif après la coupe est évalué avec la dernière clause, et les atomes sont passés inchangés. Si H est une liste, elle est évaluée avec la deuxième clause et tous les éléments sont inversés. Le sous-objectif suivant fait la même chose avec le reste de la liste (la queue, T), puis sont finalement concaténés en utilisant le append/3 intégré. Notez que le nouvel élément de tête NewH est singulier, il doit donc être ajouté à une structure de liste singleton comme [NewH] selon la définition de append/3 qui fonctionne sur des listes. La dernière clause passe toutes les autres choses (c'est-à-dire, les atomes, les nombres, etc. - tout ce qui n'est pas une liste ou une variable) à travers inchangée.

Answer 2

revall(L, Y) :- 
    revall(L, [], Y). 
revall([], Y, Y). 
revall([H|T], T2, Y) :- 
    is_list(H),!, 
    revall(H, Hr), 
    revall(T, [Hr|T2], Y). 
revall([H|T], T2, Y) :- 
    revall(T, [H|T2], Y). 

ici sans append