The combination of tabling systems, reasoning systems and distributed programming is mandatory and promising. It is expected in this much-focused project to cross-fertilise the know-how in the implementation of PROLOG distributed systems with the know-how in tabling systems and reasoning techniques.
This will result in building an advanced and efficient portable distributed logic programming system, incorporating the most recent semantical and operational techniques currently available. The initial 2 year project has been extended in order to achieve its objectives. Our focus is now the development of tools for the Semantic Web.
Started in 2001 and was concluded in 2004.
Participating entities: CENTRIA - UNL, CITI - UNL.
Funding entity: POSI.
Principal researcher: Carlos Damásio.
Researchers: José Alferes, João Leite.
Funding: 10000 Euro.