Documentation

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!

Getting started

• Language reference

  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.

• Developer tools

  Setup your environment for writing Eclair code.

• Frequently Asked Questions

  Answers to commonly asked questions.