VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
C++ JavaScript HTML CSS Python CMake
Clone or download
jrbn Merge pull request #9 from jrbn/master-new
Copied from karmaresearch version, but modified README to refer to th…
Latest commit 452982c Feb 14, 2018