A tensorized logic programming language for large-scale data
TensorFlow: A system for large-scale machine learning