PRISM / T-PRISM documentation

PRISM is a probabilistic logic programming language for symbolic-statistical modeling. T-PRISM extends it with tensor embeddings computed by PyTorch.

PRISM User's Manual

The PRISM language and programming system, built-in predicates, learning and inference methods, and examples.

T-PRISM User's Manual

Tensorized PRISM: writing T-PRISM programs, the tprism command, loss functions and operators, the Python API, and examples.

T-PRISM API reference

API documentation of the tprism Python package, which trains and evaluates T-PRISM models.

Other resources: