TARDE - Tabulation And Reasoning in a Distributed Prolog Environment

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.

Funding entity: POSI.