Advantages of This Approach
A Declarative Programming Language
Cross-fertilization
Web page maintained by
Didier Parigot
Fri Feb 27 10:05:31 MET 1998