A tensorized logic programming language for large-scale data

Re-assign community