Section: Autres, Documents | Informatique - ProLog (UGA, L3Miage)

Notes de cours (source/still notebook prolog) URL

Note de cours (dynamique/live VplJupyterV1.1) Virtual programming lab

Démonstration Sketchpad (1963), programmation par contraintes. URL

Vidéo d'un mini-cours ProLog 1 : Grammaire et modèle d'exécution URL

Vidéo d'un mini-cours ProLog 2 : Programmation déclarative URL

Vidéo d'un mini-cours ProLog 3 : Algorithmique sur les listes URL

Vidéo d'un mini-cours ProLog 4 : programmation classique URL

Vidéo d'un mini-cours ProLog 5 : déclarativité URL

Compléments syntaxiques sur les listes URL

Arbres d'exécutions URL

Terminaison URL

Complet-Correct-Termine URL

Démo, utilisation de Git pour les binômes URL

Prolog vs C : qui sera le plus rapide ? URL

Section outline