The European Declarative System, database, and languages

摘要

The EP2025 EDS project, which is developing a highly parallel information server that supports established high-value interfaces, is discussed. The motivation for the project, the architecture of the system, and the design and application of its database and language subsystems are described. The Elipsys logic programming language, its advanced applications, EDS Lisp, and the Metal machine translation system are examined.