Prototypage de logiciels avec le langage PROLOG — Bruno Legeard