BinProlog 3.00, Copyright (C) Paul Tarau 1992-94
Multi-BinProlog 3.00 Copyright (C) Koen De Bosschere 1993-94
                               (C) Paul Tarau, 1993-94
ISO Prolog parser (C) Koen De Bosschere 1994

The programming environment has benefited from public domain code
by R.A. O'Keefe. Ulrich Neumerkel wrote the iterative copy_term
algorithm used in BinProlog 3.00. Research results made public by
by D.H.D. Warren, Bart Demoen, Andre Marien, Mats Carlsson among others,
and theoretical work by researchers in the field of logic programming,
semantics of the programming languages and partial evaluation have
contributed to the design of the BinProlog engine. The 386-486 version
is created with the GNU gcc compiler and contains the go32 DOS-extender,
by D.J. Delorie. The Sparc and sun3 and Next versions are created
with the bundled C compilers. The Solaris version is created by the
gcc compiler.

Grants from the Canadian NSERC and the FESR of the Universite de Moncton
have supported in part the basic research that made this implementation
possible.

PERMISSION TO USE AND MODIFY THIS SOFTWARE IS GRANTED FREE OF CHARGES
FOR RESEARCH AN OTHER NON-PROFIT PURPOSES, PROVIDED THIS COPYRIGHT NOTICE
IS ADDED TO THE RESULTING VERSION.
 
BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW.  EXCEPT 
WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.  THE ENTIRE RISK AS
TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU.  SHOULD THE
PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.

LICENSING FOR COMMERCIAL PURPOSES TO INDIVIDUALS AND ORGANISATIONS,
LICENSING OF THE SOURCE CODE OF THE ENGINE, PORTS TO OTHER ARCHITECTURES
AND EXTENDED VERSIONS OF THE PROGRAMMING ENVIRONMENT ARE AVAILABLE,
BUT NEED A SEPARATE AGREEMENT.

PLEASE CONTACT:

Dr. Paul Tarau
Dept. of Computer Science
University of Moncton
Moncton N.B.
Canada E1A-3E9
E-MAIL: tarau@info.umoncton.ca