(11)A Programming System for Statistical Modeling:PRISM

[Features of the Software]

The execution sub-system of PRISM executes a program respecting the semantics that unifies logic programs and probability theory. The learning sub-system learns distribution parameters buried in a PRISM program.

To be precise, a PRISM program is a logic program whose facts have a parameterized distribution. We can obtain various probabilities of derived complex statements by executing the program. We can also make the program learn appropriate parameter values from examples by running the learning routine so that it behaves as we desire.

To understand the behavior of PRISM programs deeply requires some learning efforts. PRISM programs however may look like just a Prolog program with a couple of new built-in predicates. We therefore expect that PRISM programming is not very difficult for anyone who is already familiar with Prolog.

In this version, a tracer for PRISM programs, called PRISM tracer, is available. This tracer helps debugging of PRISM programs.

[Required Environment]

• Machine -- Sun UltraSparc, UltraSPARC II
• OS -- Solaris 2.5.1, 2.6
• Languages -- SICStus Prolog 3#5 and gcc-2.7.2.1, gcc-2.8.1

• Machine -- Intel Pentium II
• OS -- FreeBSD 2.2.8
• Languages -- SICStus Prolog 3#5 and gcc-2.7.2.1

[File Configuration]

• README-E -- List of files (in English)
• README-J -- List of files (in Japanese)
• use-of-software-E -- The use of ICOT free software (in English)
• use-of-software-J -- The use of ICOT free software (in Japanese)
• manual-e.ps.gz -- User's manual (In English, PostScript, gzipped)
• manual-j.ps.gz -- User's manual (In Japanese, PostScript, gripped)
• prism1.2.tgz -- source file of PRISM system (tar + gzipped)
• examples.tgz -- The examples of PRISM program (described in User's manual, tar + gzipped)

[FTP]

• README
• Program and Documents [767K]