Секция: Autres, Documents | Informatique - ProLog (UGA, L3Miage)

Notes de cours (source/still notebook prolog) Гиперссылка

Note de cours (dynamique/live VplJupyterV1.1) Виртуальная лаборатория программирования

Démonstration Sketchpad (1963), programmation par contraintes. Гиперссылка

Vidéo d'un mini-cours ProLog 1 : Grammaire et modèle d'exécution Гиперссылка

Vidéo d'un mini-cours ProLog 2 : Programmation déclarative Гиперссылка

Vidéo d'un mini-cours ProLog 3 : Algorithmique sur les listes Гиперссылка

Vidéo d'un mini-cours ProLog 4 : programmation classique Гиперссылка

Vidéo d'un mini-cours ProLog 5 : déclarativité Гиперссылка

Compléments syntaxiques sur les listes Гиперссылка

Arbres d'exécutions Гиперссылка

Terminaison Гиперссылка

Complet-Correct-Termine Гиперссылка

Démo, utilisation de Git pour les binômes Гиперссылка

Prolog vs C : qui sera le plus rapide ? Гиперссылка

Section outline