====== Introduction à Prolog ======
===== Supports de cour =====
{{ :ia:prolog:cours1-ia-intro-.pdf |Introduction à l'IA et à Prolog}}

[[https://perso.liris.cnrs.fr/christine.solnon/publications/poly.pdf|Un très bon cours introductif de Christine Solnon]] qui reprend ce qui a été dit en cours. Lire les chapitres 1, 2 et 3 (et le reste si vous avez envie bien sûr!!!).

===== Travaux pratique en Prolog=====
L'objectif de ces TPs est découvrir la programmation par contrainte.

Nous utiliserons pour cela le langage Prolog, et pour les plus rapides la librairie Pyke en Python.
==== Prise en main ====
{{ :ia:prolog:ia-robotique.tar.gz | TP découverte de Prolog}}

Au programme: parties 1, 2 et 3.
==== Problème ====
Nous allons traiter un cas concret de planification de tâches appliqué à la robotique.

[[ia:prolog:tpRobotique| Planification de tâches robotisées en prolog]]