...Language
This work was supported in part by ESPRIT Project #5399 ``COMPARE''. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France; e-mail: &#;'173Didier.Parigot,Etienne.Duris,Martin.Jourdan&#;'175@inria.fr. Web page: http://www-rocq.inria.fr/charme/FNC-2/. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...Marne-la-Vallée
Université de Marne-la-Vallée, 2, allée du Promontoire, 93166 Noisy-le-Grand, France; e-mail: roussel@univ-mlv.fr. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...[Des88]).
In this paper, programming by inference rules encompasses logic programming. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...type.
The consistency of the Attribute Grammar specification requires the addition of a root node type that is not necessary in ML. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...power.
For instance, the example of the while loop does not meet it. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Web page maintained by Didier Parigot
Fri Feb 27 10:05:31 MET 1998