LogAn project developed up to Chapter 4