Complet Correct Termine (en ProLog)
Channel: Denis B.
Date: 2021-01-11

Complément de la vidéo : https://www.youtube.com/watch?v=PN3Ebl_9khM
Analyse des programmes de la vidéo précédente sur : 
* la complétude des programmes
* la correction des programmes
* la terminaison des programmes


3 outils pour contrôler la qualité des programmes (et éventuellement, diriger leur écriture)