Design and development of a parallel and distributed AND-OR tree re-writing system, building on previous experience on the AKL and EAM architectures. The language being targeted is close to Prolog with Contextual Logic Programming. Physical shared-memory and distributed Implementation. Application to the development of an Information System for Academic Organizations incorporating a deductive functionality.
Started in September 1999 and was concluded in September 2001.
Funding entity: PRAXIS.
Principal researcher: Salvador Abreu.
Researcher: Lígia Ferreia.
1 journal publication, 1 prototype and 1 visit in 2001.