Programmation Logique et par Contraintes avancée, 2021-2022

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

Travaux Pratiques

TP1 : [énoncé] [procédure Insert] [fonction Insert] [solution exo 1] [solution exo 2]
TP2 : [énoncé] [solution exo 1] [solution exo 2]
TP3 : [énoncé] [solution exo 1]
TP4 : [énoncé] [solution exo 1] [solution exo 2]
TP controle : [solution exercice 1] [solution exercice 2]
TP5 : [énoncé] [solution exo 1]. Solution exo 2 : [Q1] [Q2] [Q3]
TP6 : [énoncé]

Planning préliminaire du cours

Semaine	Jour	Contenu
1	05/1/2022	Chapitre 1 : Introduction [transparents 1 par page] [transparents 4 par page] [exemples]
2	12/1/2022	Chapitre 2 : Le modèle d'exécution [transparents 1 par page] [transparents 4 par page] [exemples]
3	19/1/2022	Chapitre 3 : Programmation concurrente dataflow en Oz [transparents 1 par page] [transparents 4 par page] [exemples]
4	26/1/2022	Chapitre 4 : Contraintes de domaine fini en Oz [transparents 1 par page] [transparents 4 par page] [exemples]
5	02/2/2022	Chapitre 5 : Propagateurs [transparents 1 par page] [transparents 4 par page] [exemples]
6	09/2/2022	Chapitre 6 : Blocage de Propagateurs et Recherche Multi-dimensionnelle [transparents 1 par page] [transparents 4 par page] [exemples]
7	16/2/2022	Chapitre 7 : Réification et Contraintes Souples [transparents 1 par page] [transparents 4 par page] [exemples]
8	23/2/2022	Chapitre 8 : Optimisation [transparents 1 par page] [transparents 4 par page] [exemples]. TP noté.
9	02/3/2022	Chapitre 9 : Symétries et Contraintes Redondantes [transparents 1 par page] [transparents 4 par page] [exemples].
10	09/3/2022	Chapitre 10 : Le Test Auto-Référentiel [transparents 1 par page] [transparents 4 par page] [exemples].
11	16/3/2022	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

Votre machine doit être configurée en multiarch, avec l'architecture i386 ajoutée. Puis, mettez à jour l'index des paquets disponibles :
```
	sudo dpkg --add-architecture i386
	sudo apt update
    
```
Installez le paquet libx11-6:i386 avec ses dependances :
```
	  sudo apt install libx11-6:i386
	
```
Téléchargez cet archive. Puis, extraire les fichiers de l'archive.

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

où MONCOMPTE est à remplacer par votre compte à l'UFR Informatique.

Comment utiliser Mozart sur les machines Mac de l'UFR

Dans le menu Applications, cliquer sur l'icone Mozart.
Il est conseillé de mettre le clavier en mode americain.
Attention, quand vous lancez le Browser la fenêtre graphique ne s'ouvre pas automatiquement, il faut chercher l'icone dans la barre des applications ouvertes on bas de l'écran.

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.

La Documentation de Mozart est la première source d'informations sur Oz et Mozart, en particulier
- le tutoriel
- environnement de base (bibliotheque standard)
- le systeme interactif, comme lance par la commande oz
L'anti-seche Mozart
PROGRAMMATION -- Concepts, techniques et modèles par Peter Van Roy et Seif Haridi est un livre d'introduction à la programmation à l'aide de la programmation multi-paradigme en Oz. Il peut servir comme une introduction à la programmation en Oz, mais le livre s'adresse plutôt à des débutants en programmation (niveau Licence). La programmation logique et par contrainte n'est pas traitée dans ce livre. Le contenu du livre est seulement une partie du livre en anglais (voir en bas).
Concepts, Techniques, and Models of Computer Programming par Peter Van Roy et Seif Haridi est le livre complet (~ 900 pages) qui était à la base de la version française (voir au-dessus). Ce livre contient beaucoup de matériel supplémentaire par rapport à la version française, et en particulier un chapitre sur la programmation par contraintes en Oz.
Records for Logic Programming, par Gert Smolka et R.T., donne la théorie et une technique d'implémentation des opérations Ask et Tell pour des enregistrements potentiellement infinis.
Finite Domain Constraint Programming Systems par Christian Schulte et Mats Carlsson, Handbook of Constraint Programming, 2006. Cette article explique la théorie derrière les propagateurs pour les contraintes de domaine fini et donne un résumé des techniques d'implémentation.

Ralf Treinen