Résumé de section

  • Février 2023, un seul cours caseine utilise ProLog :  https://moodle.caseine.org/course/view.php?id=80

    • le cours comporte ~100 ressources (qlq quizzs, beaucoup de vpl, quelques documents et vidéos)
    • le contexte est un cours en licence sur les programmations déclaratives pour ouvrir à d'autre paradigmes de programmation
    • le domaine d'application est centré sur l'algorithmique des listes (et des arbres vus comme des listes de listes)


    Quelques exemples classiques issus du cours (ouvert, accessible en auto-inscription et visitable) :