Bonjour
Une question "théorique" me tracasse depuis quelque temps :
Imaginons le prédicat Prolog suivant
Ce prédicat recherche l'index de Element dans Liste1 et va ensuite rechercher la valeur correspondant à cet Index dans Liste2.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3 extract(Liste1, Liste2, Element, Value) :- nth0(Ind, Liste1, Element), nth0(Ind, Liste2, Value).
Venons-en maintenant à ma question : si j'utilise ce prédicat dans un maplist qui est un prédicat Prolog qui permet d'appliquer une régle sur une liste afin éventuellement d'obtenir une liste résultat (un peu comme le map du Lisp), par exemple :
maplist(extract(Ensemble1, Ensemble2), ListeElements, ListeResultats)
peut-on parler de "curryfication" ?
Partager