Our goal is to provide an easy to use tool for syntactic and semantic verification of website content and data inference. With this purose in mind we designed VeriFLog which is based on a high declarative model to query and handle semistructured data enhanced with types that are checked both statically and dynamically. Our framework can be described by the following picture:

VeriFLog provides builtins for translation of local and remote (through http) HTML and XML files to an internal representation. The user may provide a set of rules to query, verify or infer data from the documents. Types are used for error detection during compile-time and run-time and rules are cross-verified for inconsistency detection. The user can create new documents which obey to the constraints imposed by the rules automatically. Please take a look at the concepts behind VeriFLog and to some examples of what it can do.