Ryosuke Kojima

A tensorized logic programming language for large-scale data

2019 · arXiv (Cornell University)

We introduce a new logic programming language T-PRISM based on tensor embeddings. Our embedding scheme is a modification of the distribution semantics in PRISM, one of the state-of-the-art probabilistic logic programming languages, by replacing distribution …