TP1 Prolog - AMU - Master 1 Informatique