Logic Programming - Gabbrielli, Maurizio (Springer Berlin Heidelberg, 2020)