This blog is a continuation of Vestigium, where I will keep publishing reviews of activities on computational logic, functional programming and computer-assisted reasoning.