PRISM

This is a software package of PRISM version 2.3, a logic-based programming system for statistical modeling, which is built on top of B-Prolog (http://www.probp.com/). Since version 2.0, the source code of the PRISM part is included in the released package. Please use PRISM based on the agreement described in LICENSE and LICENSE.src.

LICENSE ... license agreement of PRISM
LICENSE.src ... additional license agreement on the source code of PRISM
bin/ ... executables
doc/ ... documents
src/ ... source code
exs/ ... example programs

For the files under each directory, please read the README file in the directory. For the papers or additional information on PRISM, please visit http://rjida.meijo-u.ac.jp/prism/ .

Installation

1. Download pre-build package from release page:

If you want to install the latest development version package pre-built with the latest version of ubuntu (the latest version from github is automatically built), you can install it with the following command.

wget "https://github.com/prismplp/prism/releases/download/v2.4.2a(T-PRISM)-prerelease/prism_linux_dev.auto.tar.gz"

2. Extract binaries and sample programs.

If you downloaded a different release version, please change the file name and unzip it in the same way.

tar xvf prism_linux_dev.auto.tar.gz

3. Setting the proper environmental variable:

export PATH=<current directory>/prism/bin:${PATH}

4. Try!

$ prism

Press Ctrl+D to quit the interactive mode.

PyPRISM: Python interface

PyPRISM is a Python interface to PRISM.

Please see: https://github.com/prismplp/pyprism

T-PRISM: Tensorized-PRISM (Pre-release)

T-PRISM is a new logic programming language based on tensor embeddings. Our embedding scheme, named tensorized semantics, is a modification of the distribution semantics in PRISM, one of the state-of-the-art probabilistic logic programming languages, by replacing distribution functions with multidimensional arrays.

Tutorial: https://colab.research.google.com/drive/16yzyaglTq0nTvgzZS_nJHEPleddYgxfB?usp=sharing

API Documents: https://prismplp.github.io/prism/tprism/tprism.html

@article{kojima2019tensorized,
  title={A tensorized logic programming language for large-scale data},
  author={Kojima, Ryosuke and Sato, Taisuke},
  journal={arXiv preprint arXiv:1901.08548},
  year={2019}
}

Installation

Requirements: PRISM, python(Recommendation: Anaconda) and Pytorch.

Anaconda: https://www.anaconda.com/
Pytorch: https://pytorch.org/

Please Install T-PRISM by the following command:

pip install "git+https://github.com/prismplp/prism.git#egg=t-prism&subdirectory=bin"

Please see the details in T-PRISM manual.