The main output of the ARC project is the ARC book with the title “Computational Logic: A Practical Approach” together with the tools available at:
https://drive.google.com/drive/folders/1vJ3_loEjtV7HPS2tZ86vin24oPBJsyw7
This book is dedicated to Computational Logic and contains: course material (text) integrated with interactive exercises and demonstrations, software tools to run the exercises, and best-practice recommendations to run the lectures, based on advanced pedagogical principles as Problem Based Learning and Project Centered Learning. The chapters of the book correspond to actual and planned lectures at the partner institutions.