TP de Prolog — Université de Paris 13 — 2009/2010