Course: Informatique - ProLog (UGA, L3Miage)

Topic outline

Collapse all Expand all
- Select activity Présentation générale
  
  Présentation générale Page
  
  Students must
  
  Mark as done
- Select activity Cours
  
  Cours Page
  
  Students must
  
  Mark as done
  
  Lien vers un cours associé : Programmations déclaratives (UGA-L3-Miage)
- Select activity TD (organisation, préparation)
  
  TD (organisation, préparation) Page
  
  Students must
  
  Mark as done
- Select activity Forum
  
  Forum
  
  Students must
  
  Mark as done
- Select activity Brouillon libre Prolog
  
  Brouillon libre Prolog Virtual programming lab
  
  Students must
  
  Mark as done
- Select activity Autres brouillons de programmation (Open Caseine !)
  
  Autres brouillons de programmation (Open Caseine !) URL
- Select activity Carte des exercices
  
  Carte des exercices Page
  
  Students must
  
  Mark as done
Exercices de préparation des TD
En faire le maximum.
Les exercices avec le même numéro sont équivalents, un peut suffire au départ ; pour réviser, faites les autres.
- Select activity Exercices à préparer pour le TD1. Thème Bases de f...
  
  Exercices à préparer pour le TD1. Thème Bases de faits.
  Exemples : les relations familiales, l'organisation d'un repas équilibré, les puzzles logiques de Lewis Caroll, les nombres (symboliques), ... tout système symbolique fini et fermé [clos]
  Dans chaque exercice, les éléments sont des symboles uniques (atome au sens ProLog : i.e. identificateurs commençant par une minuscule) dont les propriétés sont données par des prédicats de type "fait" (pas de partie droite, seulement une partie gauche [ou but, ou conclusion]).
  A partir de ces faits, il s'agit de construire des règles (prédicats ProLog complets avec une partie gauche [le but, ou conclusion] et un ensemble de parties droites [les prémisses, ou corps de la règle]) qui décrivent les objets.
  En général, dans les exercices simples, l'hypothèse de monde clos permet de définir des relations négatives et d'éviter les boucles infinies, mais si l'on avance dans des exercices plus compliqués, il n'y aura pas de garantie que cela soit toujours vérifié.
- Select activity Exercice ProLog 1 : balade (sudEst)
  
  Exercice ProLog 1 : balade (sudEst) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : balade (nord)
  
  Exercice ProLog 2 : balade (nord) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : balade (directionSud)
  
  Exercice ProLog 3 : balade (directionSud) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 4 : balade (quartSE)
  
  Exercice ProLog 4 : balade (quartSE) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 10 (=1+...+4) : balades (façon requête bd)
  
  Exercice ProLog 10 (=1+...+4) : balades (façon requête bd) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : famille (grandParent)
  
  Exercice ProLog 1 : famille (grandParent) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : famille (enfant)
  
  Exercice ProLog 2 : famille (enfant) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : famille (ancetre) Version souple (plusieurs solutions admises)
  
  Exercice ProLog 3 : famille (ancetre) Version souple (plusieurs solutions admises) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : famille (ancetre) Version Alternative Rigide A (une solution particulière attendue)
  
  Exercice ProLog 3 : famille (ancetre) Version Alternative Rigide A (une solution particulière attendue) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : famille (ancetre) Version Alternative Rigide B (une solution particulière attendue)
  
  Exercice ProLog 3 : famille (ancetre) Version Alternative Rigide B (une solution particulière attendue) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 4 : famille (generation)
  
  Exercice ProLog 4 : famille (generation) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 10 (=1+...+4) : famille (façon requête bd)
  
  Exercice ProLog 10 (=1+...+4) : famille (façon requête bd) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Eléments de correction (Familles)
  
  Eléments de correction (Familles) URL
- Select activity Exercice ProLog 1 : arithmétique sur les nombres romains (+2)
  
  Exercice ProLog 1 : arithmétique sur les nombres romains (+2) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : arithmétique sur les nombres romains (-1)
  
  Exercice ProLog 2 : arithmétique sur les nombres romains (-1) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : arithmétique sur les nombres romains (+) [durée moyenne < 15 min]
  
  Exercice ProLog 3 : arithmétique sur les nombres romains (+) [durée moyenne < 15 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog&Test 3 : arithmétique sur les nombres romains (+)
  
  Exercice ProLog&Test 3 : arithmétique sur les nombres romains (+) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity (** A FAIRE Semaine1 L3 Miage **) Exercice ProLog&Test 3 : arithmétique sur les nombres romains (+) (version avec support pour Git) (V1.0))
  
  (** A FAIRE Semaine1 L3 Miage **) Exercice ProLog&Test 3 : arithmétique sur les nombres romains (+) (version avec support pour Git) (V1.0)) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 4 : arithmétique sur les nombres romains (*) [temps moyen : 20 min]
  
  Exercice ProLog 4 : arithmétique sur les nombres romains (*) [temps moyen : 20 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 5 : arithmétique sur les nombres romains (estPair)
  
  Exercice ProLog 5 : arithmétique sur les nombres romains (estPair) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 6 : arithmétique sur les nombres romains (>)
  
  Exercice ProLog 6 : arithmétique sur les nombres romains (>) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 7 : arithmétique sur les nombres romains (max)
  
  Exercice ProLog 7 : arithmétique sur les nombres romains (max) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 8 : arithmétique sur les nombres romains (pgcd)
  
  Exercice ProLog 8 : arithmétique sur les nombres romains (pgcd) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices ProLog 36 (=1+...+8) : arithmétique sur les nombres romains (façon requête bd)
  
  Exercices ProLog 36 (=1+...+8) : arithmétique sur les nombres romains (façon requête bd) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices à préparer pour le TD2. Thème premiers a...
  Exercices à préparer pour le TD2. Thème premiers algorithmes sur les listes.
  La liste des exercices simples sur les listes serait trop longue pour tenir sur l'écran. Rappelons simplement que la liste vide s'écrit : [ ], les listes en extension : [1, 2, 3] et les listes en intention sont définies par leur premier élément et leur queue (liste elle-même) : [ E | Q ].
  Généralement, les exercices consistent à définir un algorithme en appliquant une analyse récursive basée sur la structure récursive d'une liste. Le schéma de base du programme est donc :
  prog(cas_de_base).
  prog([ E | Q ]) :-
  prog(Q).
  Exemple, pour la concaténation (spec. : le troisième argument doit être la concaténation des deux premiers dans cet ordre) :
  concatener([ ], L, L).
  concatener([E | F], L, [E | R]) :-
  concatener(F, L, R).
- Select activity Exercice ProLog 0 : coupe en deux avec concat (et memeLongueur) [temps moyen < 20 min]
  
  Exercice ProLog 0 : coupe en deux avec concat (et memeLongueur) [temps moyen < 20 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.0 : longueur d'une liste [temps moyen : 10 min]
  
  Exercice ProLog 1.0 : longueur d'une liste [temps moyen : 10 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.1 : dériver une liste (liste des différences successives)
  
  Exercice ProLog 1.1 : dériver une liste (liste des différences successives) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2.0 : inverser une liste [temps moyen < 10 min]
  
  Exercice ProLog 2.0 : inverser une liste [temps moyen < 10 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice&Test ProLog 2.0 : inverser une liste
  
  Exercice&Test ProLog 2.0 : inverser une liste Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity (** A FAIRE Semaine2 L3Miage **) Exercice&Test ProLog 2.0 : inverser une liste
  
  (** A FAIRE Semaine2 L3Miage **) Exercice&Test ProLog 2.0 : inverser une liste Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2.1 : palindrome
  
  Exercice ProLog 2.1 : palindrome Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 0 : échanger premier dernier avec concat
  
  Exercice ProLog 0 : échanger premier dernier avec concat Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.0 : somme des entiers d'une liste [temps moyen < 10 min]
  
  Exercice ProLog 1.0 : somme des entiers d'une liste [temps moyen < 10 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.1 : supprimer les zéros [temps moyen : 25 min]
  
  Exercice ProLog 1.1 : supprimer les zéros [temps moyen : 25 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : supprimer les doublons (qlcq) [temps moyen : 35 min]
  
  Exercice ProLog 2 : supprimer les doublons (qlcq) [temps moyen : 35 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 0 : facteur avec concat
  
  Exercice ProLog 0 : facteur avec concat Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.1 : plus long préfixe commun
  
  Exercice ProLog 1.1 : plus long préfixe commun Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1.5 : coupe en deux (sans concat)
  
  Exercice ProLog 1.5 : coupe en deux (sans concat) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : échanger début fin
  
  Exercice ProLog 2 : échanger début fin Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices à préparer pour le TD3. Thème Les Tris.S...
  
  Exercices à préparer pour le TD3. Thème Les Tris.
  Simplement, à partir d'une analyse récursive systématique de l'un ou l'autre de paramètre d'un prédicat de tri, il est possible de produire, sans beaucoup d'imagination, de nombreux algorithmes de tri classique. Et quand cette analyse est dichotomique, cela peut donner des tris efficaces [en n.log(n)]. Il y a là, entre le moteur d'inférence ProLog et l'analyse récursive, du génie.
- Select activity Exercice ProLog 0 : est-ce trié ?
  
  Exercice ProLog 0 : est-ce trié ? Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : recherche du minimum [temps moyen : 15 min]
  
  Exercice ProLog 1 : recherche du minimum [temps moyen : 15 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : tri par rech. du minimum
  
  Exercice ProLog 2 : tri par rech. du minimum Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice&Test ProLog 2 : tri par rech. du min.
  
  Exercice&Test ProLog 2 : tri par rech. du min. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : tri fusion
  
  Exercice ProLog 3 : tri fusion Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : insertion [temps moyen : 15 min]
  
  Exercice ProLog 1 : insertion [temps moyen : 15 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : tri par insertion. [temps moyen : 20 min]
  
  Exercice ProLog 2 : tri par insertion. [temps moyen : 20 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity (** A FAIRE Semaine3 L3 Miage **) Exercice&Test ProLog 2 : tri par insertion
  
  (** A FAIRE Semaine3 L3 Miage **) Exercice&Test ProLog 2 : tri par insertion Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : tri par pivot
  
  Exercice ProLog 3 : tri par pivot Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices à préparer pour le TD4. Thème structures...
  
  Exercices à préparer pour le TD4. Thème structures de données.
  L'utilisation de listes dans une analyse récursive [ E | Q ] mène naturellement à la notion de pile, le dernier élément mis dans une liste sera le premier que l'on enlèvera (LIFO).
  Avec 2 listes, on peut retrouver la notion de file (une liste pour la tête, une liste pour la queue ; ex : T=[1, 2, 3 | Q ] et Q). Quand on veut ajouter un élément dans la file, il faut l'ajouter en queue. Par exemple, si on ajoute 4 à la liste précédente, on a Q = [4|Q'], et la nouvelle queue de liste est Q'. Si on veut retirer un éléments de la file, il faut le prendre à la tête. Dans l'exemple, on retire l'élément 1, et la nouvelle tête commence à 2. Avec deux listes, dans la même situation, on parle aussi parfois, de différence de listes : les éléments à considérer sont ceux obtenus par différence T - Q. C'est assez proche de la notion de liste avec pointeur de queue en algorithmique classique.
  En imbriquant les listes, on peut obtenir des listes d'association, des dictionnaires, ou des arbres. Les listes d'association et dictionnaires peuvent être de simples listes de couples [Entrée,Valeur] (liste triée pour les dictionnaires), les arbres peuvent être des arbres binaires constitués d'une valeur et de deux sous-arbres, ex : [racine,[gauche,[],[]],[droite,[],[]] pour un arbre avec 3 noeuds. À noter, l'adéquation entre récursivité et arbres : autant les listes sont facilement gérées avec des boucles en algorithmique classique (les deux "objets" sont "linéaires"), autant les arbres et les boucles peuvent avoir du mal à coexister. Comme les arbres sont essentiels pour pouvoir améliorer l'efficacité de nombreux programmes, la récursivité devient elle aussi essentielle pour l'algorithmique classique.
  Avec la résolution des contraintes on peut obtenir des listes circulaires, arbres infinis rationnels, des graphes, etc ...
- Select activity Exercice ProLog 1 : recherche dans une liste d'associations.
  
  Exercice ProLog 1 : recherche dans une liste d'associations. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : Calculatrice à pile pour expressions postfixées.
  
  Exercice ProLog 2 : Calculatrice à pile pour expressions postfixées. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : inversion (avec file)
  
  Exercice ProLog 3 : inversion (avec file) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : parcours d'un arbre
  
  Exercice ProLog 1 : parcours d'un arbre Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : nombre de feuilles d'un arbre
  
  Exercice ProLog 2 : nombre de feuilles d'un arbre Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : hauteur d'arbre
  
  Exercice ProLog 3 : hauteur d'arbre Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 0 : est-ce un arbre binaire de recherche ?
  
  Exercice ProLog 0 : est-ce un arbre binaire de recherche ? Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : maximum d'un arbre binaire de recherche
  
  Exercice ProLog 1 : maximum d'un arbre binaire de recherche Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : recherche dans un arbre binaire de recherche
  
  Exercice ProLog 2 : recherche dans un arbre binaire de recherche Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 3 : insertion dans un arbre binaire de recherche [temps moyen : 20 min]
  
  Exercice ProLog 3 : insertion dans un arbre binaire de recherche [temps moyen : 20 min] Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice&Test ProLog 3 : insertion dans un arbre binaire de recherche
  
  Exercice&Test ProLog 3 : insertion dans un arbre binaire de recherche Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity (** A FAIRE Semaine4 L3 Miage **) Exercice&Test ProLog 3 : insertion dans un arbre binaire de recherche
  
  (** A FAIRE Semaine4 L3 Miage **) Exercice&Test ProLog 3 : insertion dans un arbre binaire de recherche Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 4 : suppression dans un arbre binaire de recherche
  
  Exercice ProLog 4 : suppression dans un arbre binaire de recherche Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices à préparer pour le TD5. Thème recherche ...
  
  Exercices à préparer pour le TD5. Thème recherche combinatoire.
  L'intelligence artificielle symbolique a abordé de nombreux problèmes de recherche combinatoire (branch and bound). Cela peut se traiter particulièrement bien avec ProLog dont le moteur d'inférence est basé sur une approche combinatoire, et encore plus depuis que ProLog est associé à des moteurs de résolutions [ou vérification] de contraintes. Ici, il y aura donc plusieurs règles récursives, pour provoquer de la redondance et des contraintes pour limiter la taille de l'espace de recherche. Parmi les méthodes générant la combinatoire, on peut citer des méthodes génériques, celles qui cherchent des répartitions ou des parties, celles qui cherchent des permutations ou des associations, celle qui regardent tous cas possible (par produit(s) cartésien(s)) en opérant des énumération, ... Pour les contraintes, il y a les contraintes d'ordre, de différence, les contraintes arithmétiques, ...
- Select activity (** A FAIRE Semaine5 L3 Miage **) ExerciceSansBinome ProLog : La course à 100 (le compte est bon additif).
  
  (** A FAIRE Semaine5 L3 Miage **) ExerciceSansBinome ProLog : La course à 100 (le compte est bon additif). Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Espace libre Prolog pour l'exercice, le coloriage, voir sujet Examen session 1, 2018-9.
  
  Espace libre Prolog pour l'exercice, le coloriage, voir sujet Examen session 1, 2018-9. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : Répartition équitable.
  
  Exercice ProLog : Répartition équitable. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercices à préparer pour un TD supplémentaire si ...
  
  Exercices à préparer pour un TD supplémentaire si le Thème Langages formels a été abordé.
  A l'origine de ProLog, la logique et les langages formels. Depuis longtemps, la forme des programmes ProLog et la forme des grammaires de langages formels sont associées (forme et sémantique), à tel point que ProLog comporte un sous-langage dédié (pas utilisé ici).
  Les exemples d'applications sont innombrables, les développements possibles peuvent aussi aller très loin.
- Select activity Exercice ProLog 1 : lecture de listes imbriquées.
  
  Exercice ProLog 1 : lecture de listes imbriquées. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : évaluation de listes imbriquées.
  
  Exercice ProLog 2 : évaluation de listes imbriquées. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 1 : lecture d'expressions arithmétiques simples.
  
  Exercice ProLog 1 : lecture d'expressions arithmétiques simples. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog 2 : évaluation d'expressions arithmétiques simples.
  
  Exercice ProLog 2 : évaluation d'expressions arithmétiques simples. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity TD7 : correction du partiel, révision et/ou travai...
  
  TD7 : correction du partiel, révision et/ou travail sur le mini-projet
Autres Exos et Activités
- Select activity Exercice ProLog : déplier une liste
  
  Exercice ProLog : déplier une liste Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : tri2 (min/max)
  
  Exercice ProLog : tri2 (min/max) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : plusUn
  
  Exercice ProLog : plusUn Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice Prolog : à 1 près (par requête à l'interpréteur)
  
  Exercice Prolog : à 1 près (par requête à l'interpréteur) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : somme1N
  
  Exercice ProLog : somme1N Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : factoriel
  
  Exercice ProLog : factoriel Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : prochain palindrome
  
  Exercice ProLog : prochain palindrome Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : Jour de Naissance
  
  Exercice ProLog : Jour de Naissance Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : codage par répétition.
  
  Exercice ProLog : codage par répétition. Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : séparation lettre/chiffre
  
  Exercice ProLog : séparation lettre/chiffre Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog : plusUn
  
  Exercice ProLog : plusUn Virtual programming lab
  
  Students must
  
  Receive a grade
Quizz et Exercices issus d'épreuve d'évaluation des connaissances
- Select activity QCM d'auto-positionnement en ProLog
  
  QCM d'auto-positionnement en ProLog Quiz
- Select activity Quiz DonnéesListes+ aléatoire
  
  Quiz "DonnéesListes+" aléatoire : Warren
- Select activity Quiz AlgoClassiques aléatoire
  Quiz "AlgoClassique"
  
  Version Courte (5 questions ouvertes) : Modèle Unique (mais avec quelques tirages aléatoires quand même)
  
  Version Longue (1 question ouverte et 4 couples de questions à choix binaire sur un thème commun) : par ex. Modèle Delahaye (avec aussi des tirages aléatoires pour chaque modèle)
  
  Pour tous ceux qui veulent savoir à quoi ressemblent ces questionnaires avant de les faire : le Modèle de départ -fixe ; sans aléatoire-
  (avec questions et indications de résolution, mais sans les réponses : pour éviter la tentation de savoir/trouver sans effort [pour connaître les réponses, il faudra faire les questionnaires aléatoires pour de vrai] ; aussi parce que les questionnaires réels ayant tous une part d'aléatoire, c'est difficile et pas très utile de donner toutes les [variantes des] questions et toutes les réponses [cela donnerait un catalogue un peu long/indigeste])
- Select activity Quiz AlgoDéclaratif aléatoire
  
  Quiz "AlgoDéclaratif" aléatoire : van Hentenryck
- Select activity Plus d'exercices issus des annales ?
  
  Plus d'exercices issus des annales ? Choice
- Select activity 2016-2017
  
  2016-2017
- Select activity CC 1, 2016-17, Algorithmique
  
  CC 1, 2016-17, Algorithmique File
  
  Students must
  
  Mark as done
- Select activity Exercice ProLog (d'après CC 2016-17) : nombre d'occurences
  
  Exercice ProLog (d'après CC 2016-17) : nombre d'occurences Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog (d'après CC 2016-17) : compte et supprime
  
  Exercice ProLog (d'après CC 2016-17) : compte et supprime Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog (d'après CC 2016-17) : histogramme
  
  Exercice ProLog (d'après CC 2016-17) : histogramme Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity 2017-2018
  
  2017-2018
- Select activity CC, 2017-18, Partie programmation logique
  
  CC, 2017-18, Partie programmation logique File
  
  Students must
  
  Mark as done
- Select activity Analyse de programme ProLog abstrait (d'après CC 2017-18) : programme red
  
  Analyse de programme ProLog abstrait (d'après CC 2017-18) : programme red Quiz
- Select activity Exercice ProLog (d'après CC 2017-18) : supprime min et max
  
  Exercice ProLog (d'après CC 2017-18) : supprime min et max Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Exercice ProLog (d'après CC 2017-18) : médiane
  
  Exercice ProLog (d'après CC 2017-18) : médiane Virtual programming lab
  
  Students must
  
  Receive a grade
Mini-Projet
- Select activity Sujet TP-Mini Projet (Février 2026) : Pierre-Feuille-Ciseaux, stratégies IA symboliques adverses
  Sujet TP-Mini Projet (Février 2026) : Pierre-Feuille-Ciseaux, stratégies IA symboliques adverses Page
  
  Ce mini-projet ProLog a pour cadre le jeu "pierre/feuille/ciseaux" (cf. wpkd).
  
  L'objectif est de programmer plusieurs stratégies de jeu (des IA symboliques). Trois stratégies seront envisagées :
  
  stratégie IA adverse StratIAdvCst pour combattre des stratégies de joueurs constant-e-s ou quasi-constant-e-s (Strat-0)
  
  stratégie IA adverse StratIAdvSpl pour combattre des stratégies de joueurs simples reposant sur une mémoire limitée à une information unique récente (Strat-1) ; l'information, peut être le dernier coup joué par le joueur ou l'ia, ou le gain de la dernière manche
  
  stratégie IA adverse StratIAdvHmn pour combattre des stratégies humaines reposant sur une mémoire limitée à quelques informations venant des dernières manches (Strat-3 pour ce mini-projet, reposant sur 3 informations en tout, issues des 3 dernières manches au plus ; pourquoi 3 ? typiquement, pour un joueur humain, on pourrait prendre 6-8, mais dans ce mini-projet, on se limitera à 3, ce sera probablement déjà assez)
  
  en savoir plus (sujet complet, sur swish) : suivre ce lien
- Select activity Evaluation Mini-Projet, IA contre Strat-0 (cst, meilleur score : 100%)
  
  Evaluation Mini-Projet, IA contre Strat-0 (cst, meilleur score : 100%) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Evaluation Mini-Projet, IA contre Strat-1 (simple, meilleur score au 18-3-26 : ~85%)
  
  Evaluation Mini-Projet, IA contre Strat-1 (simple, meilleur score au 18-3-26 : ~85%) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Evaluation Mini-Projet, IA contre Strat-3 (humain)
  
  Evaluation Mini-Projet, IA contre Strat-3 (humain) Virtual programming lab
  
  Students must
  
  Receive a grade
Autres, Documents
- Select activity Note de cours (dynamique/live VplJupyterV1.1)
  
  Note de cours (dynamique/live VplJupyterV1.1) Virtual programming lab
  
  Students must
  
  Receive a grade
- Select activity Notes de cours (source/still notebook prolog)
  
  Notes de cours (source/still notebook prolog) URL
  
  Students must
  
  Mark as done
- Select activity Prog. Déclarative, Document A5 autorisé
  
  Prog. Déclarative, Document A5 autorisé File
- Select activity Démonstration Sketchpad (1963), programmation par contraintes.
  
  Démonstration Sketchpad (1963), programmation par contraintes. URL
- Select activity Vidéo d'un mini-cours ProLog 1 : Grammaire et modèle d'exécution
  
  Vidéo d'un mini-cours ProLog 1 : Grammaire et modèle d'exécution URL
  
  Students must
  
  Mark as done
- Select activity Vidéo d'un mini-cours ProLog 2 : Programmation déclarative
  
  Vidéo d'un mini-cours ProLog 2 : Programmation déclarative URL
  
  Students must
  
  Mark as done
- Select activity Vidéo d'un mini-cours ProLog 3 : Algorithmique sur les listes
  
  Vidéo d'un mini-cours ProLog 3 : Algorithmique sur les listes URL
  
  Students must
  
  Mark as done
- Select activity Vidéo d'un mini-cours ProLog 4 : programmation classique
  
  Vidéo d'un mini-cours ProLog 4 : programmation classique URL
  
  Students must
  
  Mark as done
- Select activity Vidéo d'un mini-cours ProLog 5 : déclarativité
  
  Vidéo d'un mini-cours ProLog 5 : déclarativité URL
  
  Students must
  
  Mark as done
- Select activity Compléments syntaxiques sur les listes
  
  Compléments syntaxiques sur les listes URL
  
  Students must
  
  Mark as done
- Select activity Arbres d'exécutions
  
  Arbres d'exécutions URL
  
  Students must
  
  Mark as done
- Select activity Terminaison
  
  Terminaison URL
  
  Students must
  
  Mark as done
- Select activity Complet-Correct-Termine
  
  Complet-Correct-Termine URL
  
  Students must
  
  Mark as done
- Select activity Démo, utilisation de Git pour les binômes
  
  Démo, utilisation de Git pour les binômes URL
  
  Students must
  
  Mark as done
- Select activity Prolog vs C : qui sera le plus rapide ?
  
  Prolog vs C : qui sera le plus rapide ? URL
  
  Students must
  
  Mark as done

Informatique - ProLog (UGA, L3Miage)

Topic outline

Exercices de préparation des TD

Exercices à préparer pour le TD1. Thème Bases de faits.

Exercices à préparer pour le TD2. Thème premiers algorithmes sur les listes.

Exercices à préparer pour le TD3. Thème Les Tris.

Exercices à préparer pour le TD4. Thème structures de données.

Exercices à préparer pour le TD5. Thème recherche combinatoire.

Exercices à préparer pour un TD supplémentaire si le Thème Langages formels a été abordé.

Autres Exos et Activités

Quizz et Exercices issus d'épreuve d'évaluation des connaissances

Mini-Projet

Autres, Documents