Aquarius Prolog
Appeared in Volume 6/4, November 1993
Aquarius Prolog is a high-performance, portable Prolog implementation developed
since 1989 by the Aquarius Project at the University of California, Berkeley,
the Advanced Computer Architecture Laboratory at the University of Southern
California, and at Digital Equipment Corporation's Paris Research Laboratory.
Aquarius Prolog includes:
- a state-of-the-art Prolog compiler with global analysis. The compiler is
built around an execution model for Prolog, the Berkeley Abstract Machine
(BAM).
- a back-end that maps the BAM onto various actual general-purpose machines;
- a run-time system offering substantially the same built-in predicates and
memory management as Quintus Prolog, with additions such as two kinds of
destructive assignment.
- an interpreter for program development;
- documentation; and
- source code and implementation notes (in the Full distribution).
Aquarius Prolog is available in two distributions, Enduser and Full, on the
following five platforms:
- MIPS R3000, ULTRIX, that is, DECstations running ULTRIX.
- MIPS R3000, RISC/os, that is, MIPS machines running RISC/os.
- SPARC, SunOS, that is, Sun 4s running SunOS.
- MC68020 (or higher), HP-UX, that is, Hewlett-Packard HP 9000 Series 300 and
400 machines with MC68020, MC68030 or MC68040 processors and running HP-UX.
- MC68020 (or higher), SunOS, that is, Sun 3s running SunOS.
The Enduser distribution is intended for users who want to develop and run
Prolog programs. It contains only the object code of the system. The Full
distribution is intended for research and development in Prolog implementation.
It includes full source code and is able to recompile itself. The Enduser
distribution requires a maximum of 25 MB of free disk space (some distributions
require less), the Full distribution requires a maximum of 85 MB of free disk
space (some distributions require less).
Aquarius Prolog may be obtained free of charge from USC. To obtain a copy, send
a message to listserv@acal-server.usc.edu (the ACAL listserver) with body:
get aquarius-info license
To get more information about the Full and Enduser distributions, send the
listserver a message containing one or both of the two lines:
get aquarius-info readme-full
get aquarius-info readme-enduser
We have set up the mailing list aquarius-prolog to provide a forum by which the
Aquarius user community can exchange information. To join the mailing list,
send the listserver a message with body:
subscribe aquarius-prolog <Your real name here>
To get more information about the abilities of the listserver, send it a
message with 'help' in the body.
The developers:
Tom Getzinger; Ralph Clarke Haygood; Peter Van Roy
Univ.of Southern California
Advanced Computer Architecture Lab.
Attn: Aquarius Prolog Licensing
3740 S. McClintock, Ste 131
Los Angeles, CA 90089-2561, USA
Email (human): aquarius@acal-server.usc.edu
Email (listserver): listserv@acal-server.usc.edu