Welcome to the documentation for the Eclair programming language! Eclair is a logical query language that compiles to LLVM IR, focused on quickly solving complex search- and graph-based problems.
The sidebar on the left contains an overview of all the different topics. If you're new to Eclair, the links below are a great starting point. Still have questions after reading the docs? Ask a question on our Discord server!
A high-level overview of all the syntax and features in Eclair.
Getting started guides
Guides to start using Eclair from your programming language of choice.
Introduction to Datalog
Resources to help you become familiar with Datalog and logic programming.
Setup your environment for writing Eclair code.
Frequently Asked Questions
Answers to commonly asked questions.