Programmation Logique et par Contraintes avancée, 2023-2024

Université Paris Cité, Faculté des Sciences, Campus des Grands Moulins, UFR d'Informatique

Travaux Pratiques

Planning préliminaire du cours

Cours à partir du 24 janvier en salle 2036

Semaine Jour Contenu
1 10/1/2023 Chapitre 1 : Introduction [transparents (1 par page)] [transparents (4 par page)] [exemples]
2 17/1/2023 Chapitre 2 : Le modèle d'exécution [transparents (1 par page)] [transparents (4 par page)] [exemples]
3 24/1/2023 Chapitre 3 : Programmation concurrente dataflow en Oz [transparents (1 par page)] [transparents (4 par page)] [exemples]
4 31/1/2023 Chapitre 4 : Contraintes de domaine fini en Oz [transparents (1 par page)] [transparents (4 par page)] [exemples]
5 07/2/2023 Chapitre 5 : Propagateurs [transparents (1 par page)] [transparents (4 par page)] [exemples]
6 14/2/2023 Chapitre 6 : Blocage de Propagateurs et Recherche Multi-dimensionnelle [transparents (1 par page)] [transparents (4 par page)] [exemples]
7 21/2/2023 Chapitre 7 : Réification et Contraintes Souples [transparents (1 par page)] [transparents (4 par page)] [exemples]
8 28/2/2023 Chapitre 8 : Optimisation
9 06/3/2023 Chapitre 9 : Symétries et Contraintes Redondantes
10 13/3/2023 Chapitre 10 : Le Test Auto-Référentiel
11 20/3/2023 Chapitre 11 : Implémentation de Machines de Recherche

Logiciels utilisés

Mozart
est le système de programmation pour le langage Oz. Vous y trouvez le code source (mozart est du logiciel libre), des exécutables pour Linux et Windows, et plein de documentations.

Debian GNU/Linux contient des paquets de mozart pour certains architectures (parmi d'autres i386 et powerpc, mais malheureusement pas amd64). Installer les paquets mozart, mozart-stdlib, et éventuellement mozart-doc.

Comment installer Mozart sur sa machine

Mac, Windows, Linux sur architecture 32 bit

Voir ce site. Attention, il faut la version 1.4.0.

Debian GNU/Linux ou Ubuntu sur architecture 64 bit

Dernier recours

Vous pouvez aussi vous connecter sur une machine de l'UFR qui a déjà Oz installé, par exemple lulu :
  ssh lulu -J MONCOMPTE@lucy.informatique.univ-paris-diderot.fr -X
MONCOMPTE est à remplacer par votre compte à l'UFR Informatique.

Comment utiliser Mozart sur les machines Mac de l'UFR

Ouvrages et documents utilisés pour ce cours

Ne soyez pas effrayé par cette liste, elle sert simplement à documenter les sources d'information principales que j'utilise pour préparer ce cours. Normalement les transparents (et les explications supplémentaires données au cours) contiennent tout ce qu'il faut savoir.
Ralf Treinen

Valid HTML 4.01 Transitional