Vadalog Handbook

Manual for Vadalog 1.20.5

A full reference for Vadalog, the declarative language based on Warded Datalog± (part of the Datalog± family) used to write programs for the Vadalog-based reasoners, including an overview on its basic syntax, the supported data types, expressions, aggregations, annotations and the included libraries.

The handbook is fully navigable from the left-side menu, as well as the links between adjacent sections at the bottom of the page.