Special Issue on the Italian Conference on Computational Logic: CILC 2009. Preface