Logic Programming - Dahl, Verónica (Springer Berlin Heidelberg, 2020)