A Valuable Experience in Computational Logic