About TQL

TQL (Tree Query Language) is a query language for tree-shaped data (unordered unranked trees to be more specific) based on a modal/spatial logic named Ambient Logic.

TQL was designed by Giorgio Ghelli and Luca Cardelli and implemented in 2001

by Giorgio Ghelli, Giovanni Conforti, and some students in Pisa University. 

In particular Giovanni Conforti and Orlando Ferrara completed a first 

prototypal implementation started by Francesco Pantaleo.

Antonio Albano, Dario Colazzo, Paolo Manghi, and Carlo Sartiani also initially contributed to the TQL project.

TQL has been extended and mantained by bachelor and master students with the supervision of Giorgio Ghelli and Giovanni Conforti.