The main goal of the project ACROPOLE is the definition of a logic programming language sensitive to stimuli (or triggers), and with action performing abilities too, not just over a program itself but on its environment as well. Also to be defined are its declarative and procedural semantics, and a prototype implementation. The language will be developed as an extension to an existing logic programming language with explicit negation.
Started in 1994 and was concluded in 1999.
Researchers: Iara Morá, Vitor Nogueira.
Funding entity: PRAXIS.
Principal researcher: José Alferes.
Researchers: Carlos Damásio, Luís Moniz Pereira, João Leite.
Definition of the language and its prototypical implementation. Along the three years of the project 27 papers were published.
