souffle-datalog
CommunityHigh-performance Datalog for scalable analysis.
Authorhafley66
Version1.0.0
Installs0
System Documentation
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.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: souffle-datalog Download link: https://github.com/hafley66/claude-research/archive/main.zip#souffle-datalog Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.