The document proposes a multi-theory logic language for developing web applications using logic programming. It describes resources on the web as having identifiers, data, and behavior. Resources can have different behaviors depending on the context and their behavior can change dynamically at runtime. The language allows modeling web resources and architectures directly as first-class citizens.