Introduction — What is PRISM? (For theoretical details of PRISM and our recent research, see prism-intro.pdf [411KB], which is a compilation of past slides.) PRISM is a general programming language intended for symbolic-statistical modeling. It is a new and unprecedented programming language with learning ability for statistical parameters embedded in programs. Its programming system, shortly call