Cette application résulte de la coopération entre un industriel de la chimie (Roussel Uclaf), un industriel de l'intelligence artificielle (Framentec) et des groupes de recherches publics (LIRMM et CCIPE). Ces travaux se font dans le cadre du GDR 1093 du département Chimie du CNRS et du groupe ELO du GDR Programmation.
Les systèmes de synthèse assistée par ordinateur --- systèmes de SAO dans la suite --- existent depuis la fin des années soixante. Ils ont pour but d'aider les chimistes à élaborer un plan de synthèse pour une molécule donnée (un plan de synthèse n'est autre qu'un plan de construction de la molécule, où les outils de base sont des molécules accessibles et des réactions chimiques). RESYN (REtroSYNthèse) est un système de SAO, qui s'appuie sur un système de RCO où sont combinés programmation par objets, raisonnement par classification et raisonnement à partir de cas [NLD94] [NL94]. RESYN a été entièrement écrit avec le système à objets Y3, qui intègre les algorithmes d'héritage décrits au § 2.1.1. En particulier, le projet a nécessité la construction de bases hiérarchiques d'objets conséquentes et le développement de méthodes spécifiques pour la représentation d'objets complexes (que sont les molécules) [Vis95].
La philosophie de RESYN repose sur une combinaison des techniques de programmation par objets et de RCO [NLD94]. En ce sens, le système RESYN illustre parfaitement la notion de système hybride, où programmation et raisonnement se complètent l'un et l'autre. À l'heure actuelle, les travaux sur RESYN continuent et concernent également l'intégration de la programmation par contraintes et l'étude d'architectures distribuées pour les systèmes de SAO.
Le système RESYN a obtenu en 1994 le prix ADER -- Banques Populaires Entreprises -- Innovation qui récompense chaque année un travail de recherche alliant un laboratoire et une entreprise.