GAEA(ID:5423/gae001)

Organic programming language

Superset of Prolog with features for concurrency and reflection
Related languages
Maude => GAEA   Written using
References:
  • "GAEA Version 2.2 Manual" Revision 005, Cooperative Architecture Project Team, ETL, 1998 view details
  • Hideyuki, Nakashima "Agent Communication in an Organic Programming Language Gaea" SIGNotes Artifical Intelligence No.095 view details Abstract: We are developing a new software methodology for building large, complicated systems out of simple units. The emphasis is on the architecture (called cooperative architecture) which is used to combine the units, rather than on the intelligence of individual units. We named the methodology "organic programming" after the flexibility of organic systems such as plants and animals. This paper describes how to implement "agents" and communication among agents on Gaea.
  • Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe. "An Operational Semantics of GAEA in Rewriting Logic" MACC 98 view details Abstract: This paper presents a formal specification in rewriting logic of a representative subset of GAEA, in the Prolog traditional with novel features for reflection and concurrency, based on a new software methodology called organic programming. The syntax and the semantics of GAEA were designed to be a superset of Prolog. However, there are many extra features for manipulating cell structures, multi-threading of processes, cell variables for thread communication, and so on. Thanks of those new features, we can easily construct and execute concurrent reflective systems. We expect that we can find some interesting properties of the language through our specification.
    External link: Online copy
  • Ishikawa, H., Meseguer, J., Watanabe, T., Futatsugi, K. and Naqhima, H. "On the semantics of GAEA" pp123-141 view details
          in Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998 view details