The users of the PRISM system version 1.11 and 1.12 are required to agree to the following license terms:
LICENSE AGREEMENT OF THE PRISM SYSTEM
The PRISM system ("the Software") is built on top of B-Prolog
(http://www.probp.com/), which is provided by Afany Software. The
Software is developed subject to the C source code license of B-Prolog
(http://www.probp.com/license.htm) and distributed with the permission
from Afany Software.
The PRISM development team, which consists of the members from Tokyo
Institute of Technology and from Afany Software, hereby grants a
non-exclusive and non-transferable license to the person who uses the
Software ("the User"), subject to this agreement.
1. RELATION WITH B-PROLOG. The Software consists of the standard
routines of B-Prolog ("the B-Prolog part") and the extensional routines
by the PRISM development team ("the PRISM part"). The User must agree
that the use of the B-Prolog part is also restricted by the license
agreement of B-Prolog with the exception stated in Paragraph 4.
2. RIGHT TO USE. The User may use the Software provided that the User
has right to use B-Prolog according to the User's license agreement of
B-Prolog. Given the license agreement of B-Prolog as of the release date
of the Software, the User may use the Software free of charge for academic
and non-commercial purposes, and must purchase a license for other use.
3. SOURCE CODE. The User may obtain the source code (written in C and
Prolog) of the PRISM part from the PRISM development team, along with
the patch file to the C source code of B-Prolog, provided that the User
has obtained the C source code license of B-Prolog from Afany Software.
The User may modify the source code of the Software subject to the C
source code license of B-Prolog.
4. DISTRIBUTION. Despite the restriction of the C source code license
of B-Prolog, the User may distribute the Software modified according
to Paragraph 3 ("the Modified Software"), only for non-commercial
purposes, provided that (a) no modification is made to the source code
of the B-Prolog part, (b) the Modified Software is distributed only in
binary form, and (c) the Modified Software is distributed along with
this agreement. For the purposes of this paragraph, applying the patch
file which the User obtained according to Paragraph 3 is not considered
as modification. The User may not distribute the Software or the Modified
Software in any other cases.
5. COPYRIGHT. The B-Prolog part is copyrighted by Afany Software and the
PRISM part is copyrighted by the PRISM development team. The Software
contains several public domain modules as listed in the B-Prolog's
manual and the implementation of Mersenne Twister copyrighted by its
authors (http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html), and
some portion of code in the PRISM part is based on the SPECFUN library
available in the NETLIB repository (http://www.netlib.org/). The User
ownes the copyright for the modified part of the Software according to
Paragraph 3.
6. NO WARRANTY. The Software is provided "as-is", without any warranties
express or implied. The User may report any defects of the Software to
the PRISM development team, but there is no guarantee for those defects
to be fixed. The User who purchased a license from Afany Software might
receive a warranty according to the license agreement of B-Prolog,
only when the defects obviously originate from the B-Prolog part.
Neither Afany Software nor the PRISM development team is responsible
for any damages caused by the use of the Software.