Detail

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

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.