VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
Primary LanguageC++Apache License 2.0Apache-2.0
No issues in this repository yet.