Search: souffle-lang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A Specialized B-Tree for Concurrent Datalog Evaluation (souffle-lang.github.io)

174 points

7 years ago

2.

Soufflé: A Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io)

84 points

4 years ago

3.

Systematic, Ontological, Undiscovered Fact Finding Logic Engine (souffle-lang.github.io)

57 points

3 years ago

4.

Soufflé, a logic programming language inspired by Datalog (souffle-lang.github.io)

4 points

5 years ago

5.

Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io)

2 points

4 years ago

6.

Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io)

1 point

4 years ago