ARIA
Contents:
Getting Started
Logic and Solving
Proofs and Explanations
Quantified Reasoning
Automata and Languages
Verification
Abstraction
Counting, Sampling, and Probability
Program Synthesis
Logic Programming
Datalog
LLM and ML
CLI and Tools
Global Parameters
ARIA
Logic Programming
View page source
Logic Programming
This section covers logic-programming support in ARIA.
Datalog
Overview
Package Structure
Status and Provenance
Examples
Further Reading