Skip to content

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Notifications You must be signed in to change notification settings

superr4y/souffle

This branch is 8301 commits behind souffle-lang/souffle:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

180c7bb · Mar 6, 2018
Feb 23, 2018
Feb 10, 2018
Dec 10, 2017
Nov 30, 2017
Mar 30, 2017
Apr 11, 2016
Mar 6, 2018
Mar 6, 2018
Feb 16, 2017
Jul 11, 2017
Nov 29, 2016
Feb 14, 2018
Nov 30, 2017
Oct 11, 2017
Feb 3, 2018
Oct 11, 2016
Feb 19, 2018
Nov 28, 2016

Repository files navigation

Build Status

Soufflé is a translator of Horn clauses into parallel C++. Soufflé language has similarities to Datalog, and is used as a domain-specific language for analysis problems.

Features of Soufflé

  • Efficient translation to parallel C++ of Datalog programs
  • Extended semantics of Pure Datalog, e.g., permitting unbounded recursions with numbers
  • Simple component model for Datalog specifications
  • Recursively defined record types (aka. constructors) for tuples

How to get Soufflé

Use git to obtain the source code of Soufflé.

$ git clone git://github.com/souffle-lang/souffle.git

Build instructions can be found here.

About

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 90.0%
  • M4 2.2%
  • JavaScript 2.0%
  • Yacc 1.6%
  • CSS 1.3%
  • Makefile 0.9%
  • Other 2.0%