next up previous
Next: Download transIt Up: transIT: A Prolog tool Previous: Input and outputs formats

Ongoing work: steps towards reasoning

The system is still at a prototypical stage of development and most of the features described in the previous sections are constantly subject of ameliorations. In particular, we are currently interested in

A further long-term activity regards the integration with visual-oriented tools for manipulation of relational formulas, (based, for instance, on graphical representation of relational expressions and on graph-rewriting techniques [5]).


next up previous
Next: Download transIt Up: transIT: A Prolog tool Previous: Input and outputs formats
Last update: 02-08-2005 by andy