itérer par alphabet en Prolog

Question

Disons que je veux avoir une règle de comparaison similaire à

isin(0,_). 
isin(N,List) :- member(N,List), write(N), N1 is N-1, isin(N1,List). 

mais la liste contiendra des symboles de l'alphabet (par exemple [a, b, d, e, h]). Comment puis-je envoyer l'élément suivant à l'itération? (donc N est un symbole, pas un nombre). Et si ce n'est pas possible, comment puis-je faire quelque chose de similaire?

Merci d'avance!

Answer 1

@julkiewicz est presque là:

isin(a, _). 
isin(Char, List) :- 
    member(Char, List), 
    char_code(Char, Code), 
    write(Char), 
    Code1 is Code-1, 
    char_code(Char1, Code1), 
    isin(Char1, List). 

Notez que le prédicat toujours réussir sur a, tout comme votre version originale réussit toujours 0. Vous pouvez empêcher que, en modifiant la clause de base à quelque chose comme

isin(Char, _) :- 
    char_code(a, A), 
    Char is A-1. 

(Mais ce qui est vraiment une bidouille horrible.)

Answer 2

REMARQUE: Cela fonctionne sur les chaînes, pas sur les symboles comme demandé par l'OP.

Eh bien, il semble que les caractères sont interprétés comme des listes de nombres. Donc, cela fonctionne:

?- X = "a". 
X = [97]. 
?- X is "a". 
X = 97. 
?- X is "a" + 1. 
X = 98. 

C'est donc ce que je propose:

isin("a", _). 
isin(N, List) :- member(N, List), N1 is N - 1, isin([N1], List). 

ai pas écrit quoi que ce soit dans cette langue depuis longtemps cependant.