element(X,Xs) | ssi | X est un élément de la liste Xs |
non_element(X,Xs) | ssi | X n'est pas un élément de Xs |
prefixe(Xs,Ys) | ssi | Xs est un préfixe de Ys |
suffixe(Xs,Ys) | ssi | Xs est un suffixe de Ys |
sousliste(Xs,Ys) | ssi | Xs est une sous liste (consécutive) de Ys |
app(Xs,Ys,Zs) | ssi | Zs est la concaténation de Xs et Ys |
alenvers(Xs,Ys) | ssi | Ys est la liste Xs renversée |
dernier(Z,Xs) | ssi | Z est le dernier élément de Xs |
suppression(X,Xs,Ys) | ssi | Ys résulte de la suppression de toutes les occurrences de X dans Xs |
selection(X,Xs,Ys) | ssi | Ys résulte de la suppression d'une occurrence de X dans Xs |
perm(Xs,Ys) | ssi | Ys est une permutation de Xs |