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

TARDE - Tabulation And Reasoning in a Distributed Prolog Environment

Project information

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.

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