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

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.