0La chaleur
1Répondre
Unification Agda sur une liste
2La chaleur
2Répondre
Syntaxe de structure de données personnalisée dans Prolog
6La chaleur
1Répondre
Prolog: f (X) = X est-il unifiable ou non?
0La chaleur
2Répondre
Une application qui ne semble pas devoir être unifiée est autorisée
1La chaleur
1Répondre
Isabelle: datatypes génériques et équivalence
1La chaleur
2Répondre
Détection de la preuve d'un prédicat unifié quelque chose
2La chaleur
1Répondre
1La chaleur
1Répondre
Membre en combinaison avec la récursivité