0La chaleur
2Répondre
Prolog: Multiplication récursive de 2 nombres
0La chaleur
1Répondre
Prolog se inifini en demandant une autre solution
2La chaleur
1Répondre
Évaluation de s (N) dans la réponse d'un prédicat, sans perte de fonctionnalité
0La chaleur
1Répondre
Prolog, vérifier la divisibilité dans l'arithmétique Peano
0La chaleur
1Répondre
1La chaleur
2Répondre
2La chaleur
2Répondre
0La chaleur
1Répondre
Successeur arithmétique Prolog Mod fonction
3La chaleur
1Répondre
Comment puis-je réécrire "+ 1" (plus un) à "S" (succ) dans Coq?