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
This is an old version. Please use https://github.com/karmaresearch/vlog.git instead.