From ok@atlas.otago.ac.nz  Tue Mar 14 02:50:47 2000
Received: from atlas.otago.ac.nz (atlas.otago.ac.nz [139.80.32.250])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id CAA13636
	for <prolog@swi.psy.uva.nl>; Tue, 14 Mar 2000 02:50:45 +0100 (MET)
Received: (from ok@localhost)
	by atlas.otago.ac.nz (8.9.3/8.9.3) id OAA21374;
	Tue, 14 Mar 2000 14:50:28 +1300 (NZDT)
Date: Tue, 14 Mar 2000 14:50:28 +1300 (NZDT)
From: "Richard A. O'Keefe" <ok@atlas.otago.ac.nz>
Message-Id: <200003140150.OAA21374@atlas.otago.ac.nz>
To: gencb@itu.edu.tr, jurgens@applied-kinematics.com, prolog@swi.psy.uva.nl
Subject: Re: Mercury???

	It appears that some of the main features of Mercury which make it faster
	and easier to debug are that it is a strongly-typed language and a compiled
	language compared to most versions of Prolog which are interpreted and
	untyped.

It's worth noting that while there are some Prolog _interpreters_
(such as C-Prolog) most Prolog systems compile to an abstract
instruction set (Quintus Prolog, XSB Prolog, and so on), and there
_are_ Prolog systems that compile to native code (Aquarius, SICStus
with certain options, WamCC amongst others).

	Visual Prolog is also strongly typed and compiled and may interest
	those who are seeking these features without changing languages altogether.

Note that Mercury is *very* close to Edinburgh Prolog syntactically.
Note also that it is completely free and Open Source.

