Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 21 Apr 1994 14:09:23 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA00599;
          Thu, 21 Apr 1994 06:55:23 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA00595;
          Thu, 21 Apr 1994 06:55:21 -0600
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA14505;
          Thu, 21 Apr 1994 06:56:19 -0600
Message-Id: <9404211256.AA14505@jaguar.cs.byu.edu>
To: benson@cs.ucdavis.edu
Cc: info-hol@leopard.cs.byu.edu
Subject: Re: Allegro vs Lucid
In-Reply-To: Your message of Wed, 20 Apr 1994 16:59:18 -0700. <9404202359.AA28531@elysium.cs.ucdavis.edu>
Date: Thu, 21 Apr 1994 06:56:19 -0600
From: Phil Windley <windley@lal.cs.byu.edu>




On Wed, 20 Apr 94 16:59:18 -0700 benson@cs.ucdavis.edu writes
+--------------------
| I am trying to decide between Allegro Common Lisp or Lucid Common Lisp.
| The primary use for the choosen Common Lisp is to build and use HOL.
| Does anyone have advice on which one I should get?

Out of Lucid, Allegro, and AKCL, I prefer Lucid.  The initial images are
bigger than the other two, but it seems to do a better job of garbage
collecting and is quite fast.

--phil--