Résumé de section

  • Replier Déplier

    Généralités

    Tout replier Tout déplier
    • Bienvenue dans le coin ProLog,

        pseudo-Cours à l'intention des
        (nouveaux) enseignants
        en ProLog :             		 

      • premières activités exercices/vpl (aspects techniques)
      • exemples classiques et pointeurs (ressources pédagogiques)
      • forums et contacts (communauté caseine)

    • Les étudiants doivent
      Marquer comme terminé

      Divers.

      Pour démarrer sur caseine, consultez le cours Tutorial et si vous n'avez jamais utilisé Moodle : Moodle (pour Caseine).

      Pour information, caseine fonctionne (actuellement, Février 2023) avec SWI-Prolog (threaded, 64 bits, version 8.2.4) ; une version dockerisée existe aussi.

      Sur la droite, en mode édition, le bloc panier d'activité vous permet de copier des activités depuis l'espace de partage ou les cours visitables :
  • Replier Déplier

    Premières activités exercices/vpl (aspects techniques)

    Premier vpl (incrémenter un entier) :

    • Le premier exemple respecte un profil classique de programme ayant un résultat unique en fonction d'une entrée donnée. C'est le profil standard des vpl. Cet exemple utilise les cas de test standards de vpl (fichier vpl_evaluate.cases) avec une liste des entrées/sorties prévues. Aussi le premier exemple donné comporte un programme principal avec des entrées/sorties prédéfinies et demande seulement l'écriture du programme de l'exercice (ici l'incrémentation).

      Avec ProLog, si l'on veut utiliser les particularités du langage (réversibilité, non-déterminisme) ou se rapprocher d'une exécution directement avec l'interpréteur, un second modèle d'exercice est proposé :

    • Ce second exemple utilise également le modèle standard de cas de tests de VPL avec des entrées/sorties, mais ce qui est demandé à l'utilisateur est la requête ProLog à exécuter. Un programme principal, fournit dans l'exercice, lit cette requête et la retransmet à l'interpréteur ProLog (avec findall, à éviter si votre problème a une infinité de résultats), le résultat est ensuite affiché (après tri, pour permettre au moteur de validation de vpl de valider des réponses multiples dans un ordre quelconque).
  • Replier Déplier

    Exemples classiques et pointeurs (ressources pédagogiques)

    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) :

  • Replier Déplier

    Forums et contacts (communauté caseine)

    • Forum (visible seulement par les enseignants, pour avoir le statut enseignant demander au gestionnaire du cours)

    • Contacts Page
      Les étudiants doivent
      Marquer comme terminé