Soufflé: Systematic, Ontological, Undiscovered Fact Finding Logic Engine

Logic programming language inspired by Datalog

Application domain/field

Links

Project page: https://souffle-lang.github.io/

ProVerB specific


ProVerB is a part of SLEBoK. Last updated: February 2023.