Contribution à l'interprétation et à la transformation de programmes PROLOG — Ali Belkhiri