name(trill).
title('A tableau probabilistic reasoner').
version('1.0').
author('Riccardo Zese', 'zsercr@unife.it').