A tensorized logic programming language for large-scale data
A Linear Algebraic Approach to Datalog Evaluation