souffle-datalog

Compile Datalog programs to C++ for scalable program analysis.

1|Updated Mar 15, 2026

Search Tags:#provenance #compiler #datalog #program-analysis #logic-programming #souffle

Ready to run

npx skills add https://github.com/hafley66/claude-research --skill souffle-datalog

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: souffle-datalog
Source: https://github.com/hafley66/claude-research/tree/main/skills/souffle-datalog
Command: npx skills add https://github.com/hafley66/claude-research --skill souffle-datalog

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Souffle Datalog provides a high-performance engine to run, analyze, and scale Datalog programs for complex program analysis tasks. It can compile Datalog programs to C++ or interpret them directly, enabling production-grade reasoning over large codebases.

Core Features & Use Cases

High-performance Datalog engine that compiles to C++ for large-scale analysis.
Typed relations, aggregation, negation (stratified), and provenance support.
Modular components (Modules) for reusable rule fragments and inheritance.
Real-world use cases include points-to and dataflow analyses on large software systems.

Quick Start

Install Souffle and run souffle on a .dl file to compile or interpret your Datalog program for program analysis.

Frequently Asked Questions about souffle-datalog

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I perform scalable program analysis using Datalog?▼

You can perform scalable program analysis by writing Datalog programs and executing them via an engine that compiles to C++ for high-performance execution, enabling large-scale dataflow and points-to analysis.

What is high-performance Datalog and when do I need it for software assurance?▼

High-performance Datalog is a logic programming engine that compiles rules to C++ for fast reasoning. You need it for software assurance tasks requiring dataflow queries and provenance-enabled reasoning over large software systems.

Does this Datalog engine support stratified negation and aggregation?▼

Yes, the Datalog engine supports stratified negation, aggregation, typed relations, and provenance. It provides both interpreted and compiled execution modes for flexible logic programming analysis.

How do I run a Datalog program for large-scale dataflow queries?▼

To run a Datalog program for dataflow queries, install the engine and execute it on a .dl file. You can choose between interpreting the program directly or compiling it to C++ for optimized performance.

Can I use modular components for reusable Datalog rule fragments?▼

Yes, you can use modular components to create reusable Datalog rule fragments with inheritance. This allows for structured logic programming and scalable program analysis across complex software assurance projects.

What are the limitations of interpreted versus compiled Datalog execution?▼

Interpreted Datalog execution offers rapid prototyping without compilation overhead, while compiled execution generates C++ code for maximum performance during large-scale program analysis, requiring a C++ compiler for the compiled mode.