Abstract FR:

Sont passees en revue les differentes approches de la synthese de programmes abordes a ce jour en commentant leurs capacites et leurs limitations: synthese a partir d'exemples, synthese a partir de traces de calculs, synthese a partir de specifications. Le role du langage prolog dans le traitement semantique des langues naturelles est presente. Le systeme propose utilise une grammaire logique qui, a partir d'un enonce pseudo naturel relatif a un domaine restreint, permet d'en construire la representation semantique qui se presente comme un veritable programme et ui peut etre traduite dans un langage de programmation par le biais d'un systeme a regles de reecriture