Soufflé Files

Datalog variant for tool designers crafting analyses in Horn clauses

This is an exact mirror of the Soufflé project, hosted at https://github.com/souffle-lang/souffle. SourceForge is not affiliated with Soufflé.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
2.5	2025-03-24	1
2.4.1	2023-11-15	0
2.4	2023-03-05	0
2.3	2022-05-14	0
2.2	2022-01-18	0
Totals: 5 Items		1

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
Flix
The Flix Programming Language
Datalevin
A simple, fast and versatile Datalog database
Mangle
Go library for Datalog-style logical reasoning and domain modeling
DataScript
Immutable database and Datalog query engine for Clojure, ClojureScript