Reasoning Web. Declarative Artificial Intelligence - Marco Manna, Andreas Pieris (Springer, 2020)