All components included with the G12 system are distributed under the
"ACADEMIC-USE Only Software License" below, with the exception of Melbourne
Mercury distribution (see below) and some third-party components.
License information for such third-party components is in the file
THIRD_PARTY.

License files (COPYING and COPYING.LIB) for the Mercury distribution may
be found in the mercury subdirectory.

==============================================================================

ACADEMIC-USE ONLY Software License

This G12 system ('Licensed Material') is made available to the scientific
community for non-commercial research purposes such as academic research,
teaching, scientific publications or personal experimentation. Permission is
granted by National ICT Australia Limited (NICTA) to you (the 'Licensee') to
use, copy and distribute the Licensed Material in accordance with the following
terms and conditions:

1. Licensee must include the name and version number of the software and a
reference to National ICT Australia Limited (NICTA) in any published work that
makes use of the Licensed Material.

2. If Licensee alters the content of the Licensed Material or creates any
derivative work, Licensee must include in the altered Licensed Material or
derivative work prominent notices to ensure that any recipients know that they
are not receiving the original Licensed Material.

3. Licensee may not use or distribute the Licensed Material or any derivative
work for commercial purposes including but not limited to, licensing or selling
the Licensed Material or using the Licensed Material for commercial gain.

4. The Licensed Material is provided 'AS IS', without any express or implied
warranties. NICTA does not accept any responsibility for errors or omissions in
the Licensed Material.

5. This original license notice must be retained in all copies or derivatives
of the Licensed Material.

6. All rights not expressly granted to the Licensee are reserved by NICTA.

==============================================================================

The Mercury implementation is free software, but it is Copyright (C) 1993-2010
The University of Melbourne.  It is distributed under the terms of the GNU
General Public License.  See the file COPYING for copying permission.

The Mercury library and runtime (libmer_std.* and libmer_rt.*) are distributed
under the terms of the GNU Library General Public License.  See the file
COPYING.LIB for copying permissions for those files.

The distribution also contains a slightly modified copy of 
version 7.2 alpha 4 of the conservative garbage collector
distributed by Hans Boehm:

    Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers
    Copyright (c) 1991-1995 by Xerox Corporation.  All rights reserved.
    Copyright (c) 1996-1999 by Silicon Graphics.  All rights reserved.
    Copyright (c) 1999-2005 Hewlett-Packard Development Company, L.P.

    THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY
    EXPRESSED OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.

    Permission is hereby granted to use or copy this program
    for any purpose,  provided the above notices are retained on all
    copies.  Permission to modify the code and to distribute modified
    code is granted, provided the above notices are retained, and a
    notice that the code was modified is included with the above
    copyright notice.

==============================================================================