LYCOS RETRIEVER 
Leda
built 664 days ago
Object oriented programming features such as data hiding, inheritance and polymorphism are supported in Leda through a the use of Classes and dynamic binding. The logic programming paradigm is supported through the use of another abstract data type called the relation. The functional programming paradigm is supported in Leda by allowing the programmer the ability to develop fundamental operations such as: reduction, mapping, and filtering.
Source:
MORE ABOUT
Miscellaneous