It's a small project in Prolog. The statement is in french like the comments. The code may be a mess.