Une transformation de programme basée sur la notion d'équations entre termes

Nous décrivons une nouvelle approche destinée à transformer des programmes Prolog en programmes plus efficaces tout en gardant l’équivalence opérationnelle. Notre approche repose sur l’introduction d’équations entre termes, ce qui permet une représentation plus efficace des buts. Notre optimisation ne peut pas être obtenue par les méthodes courantes : en particulier, elle élimine toutes les variables existentielles des listes par différence dans les grammaires. Nous comparerons ensuite notre transformation avec les transformations courantes basées sur le pliage et le dépliage. Si nous obtenons des résultats comparables, notre transformation est plus simple à mettre en œuvre. De plus, elle se révélera utile comme première étape avant le pliage/dépliage. En ce qui concerne la machine abstraite de Warren (WAM), l’élimination des variables existentielles d’un programme avec notre transformation a pour conséquence une allocation de registres entre les procédures. Nous montrerons l’utilité de nos transformations pour les programmes en Prolog binaire [14] et pour les systèmes Prolog sans pile d’environnement [6].