Language Reference
This set of documents describes the Formulog language (as opposed to its current implementation). Please raise a GitHub issue if anything is unclear, incomplete, or incorrect :)
For an overview of Formulog and its motivations, we recommend checking out our publications.