Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

ACROPOLE - ACções e RaciocíniO em ProgramaçãO em Lógica Estendida

Project information

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.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541