Prolog: ajouter la liste pour définir

Question

Le prédicat ci-dessous ajoute l'élément X à la liste S. Cela fonctionne très bien.

addToSet(X, S, S) :- 
    atomic(X), 
    member(X, S), 
    !. 
addToSet(X, S, [X|S]) :- 
    atomic(X). 

Je suis en train de l'étendre à un prédicat qui ajoute la liste [H | T] pour régler S. Il fonctionne parfaitement si [H | T] est seulement 2 articles à long ... à savoir si T est également atomique.

addToSet([], S, S). 
addToSet([H,T], S, S2) :- 
    addToSet(H, S, S1), 
    addToSet(T, S1, S2). 

Par exemple, addToSet ([5,6], [1,2,3,4], X). fonctionne comme je le désire. Cependant, addToSet ([5,6,7], [1,2,3,4], X). Ça ne foncrionne pas du tout. Je suis perplexe ... il y a évidemment quelque chose qui ne va pas avec les 2-3 dernières lignes de mon code, mais je ne peux pas le comprendre. Des conseils?

Merci!

Answer 1

addToSet([H,T], S, S2) doit être addToSet([H|T], S, S2). Comme il est, vous correspondez à une liste contenant exactement H et T, pas une liste avec la tête H et la queue T. On dirait juste une faute de frappe.