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.


Table of contents