Explore projects
-
-
Abstract Machine for Bottom-Up Evaluation in Deductive Databases with the Push Method
Updated -
A local fork of eli adding support for C++ compilation, a DSL on top of lido and fixing some TP errors
Updated -
-
Updated
Abstract Machine for Bottom-Up Evaluation in Deductive Databases with the Push Method
A local fork of eli adding support for C++ compilation, a DSL on top of lido and fixing some TP errors