Title: Reasoning Web. Declarative Artificial Intelligence