Declarative Object Manipulation Environment (DOME): Alpha Version
Abstract:
The Declarative Object Manipulation Environment DOME is a programming language developed as part the Integrated Systems Language Environment ISLE that combines elements of object-oriented programming with knowledge-based and declarative programming facilities. The alpha version of this system, named ModLog for Modular Logic was built as a declarative extension to the Armys ModSim language. This report traces the evolution of declarative programming extensions from their beginnings in the Prolog programming language, through ModLog, to the first implementation of the DOME system. The integration of process-based simulation with DOMEs declarative rule-based capabilities creates a powerful modeling paradigm that is superior to conventional imperative approaches. object-oriented programming, Modeling, Declarative Object Manipulation Environment DOME, simulation, Modular Logic ModLog.