Reasoning Web. Declarative Artificial Intelligence - Mantas Šimkus, Ivan Varzinczak (Springer, 2022)