SUMMARY : prolog & lisp

From: Murat Balci <balci_at_bornova.ege.edu.tr>
Date: Mon, 27 Nov 1995 15:27:36 +0300 (EET)

Hi,
A few days ago I asked ;

Hi,
is there any prolog and lisp compiler for Digital Unix ? This might be
vendor-produced or public domain ?
Sincerely.
murat.

- o -

Thanx to ;
Herve DEMARTHE <demarthe_at_alpha.cad.cea.fr>
John Richards <john_at_zyqad.co.uk>
deya_at_Pyramids.apana.org.au
amw <amw_at_aberystwyth.ac.uk>
cnbv01_at_puck.eee.strath.ac.uk
Michael Pruett <michael_at_doris308a.dorm.tulane.edu>
Steven L. Jenkins <sjenkins_at_iastate.edu>

- o -

Herve DEMARTHE <demarthe_at_alpha.cad.cea.fr> writes ;

Murat,

As of LISP, I do not know but for ProLog
you can contact this society (in France !)

--------------------------------------------------------------------
PrologIA
Parc Technologique de Luminy
Case 919
F-13288 MARSEILLE Cedex
Contact : Fabienne LELEU or Claude LAI
Voice Phone : +33 91 26 86 36
Fax : +33 91 41 96 37
--------------------------------------------------------------------

I once helped them in January '94, they were seeking an Alpha OSF/1
machine on which to port their Prolog compiler (we are neibourghs).
Prolog was invented in Marseille (France) long ago, I had it already
on my Apple II ;-)

The name of the guy I made the port with is Claude LAI.

>>> and the e-man address of PrologIA is prologia_at_prologianet.univ-mrs.fr

 - o -

John Richards <john_at_zyqad.co.uk> writes ;

Murat

Try the following:

Harlequin LispWorks: email lispworks-support_at_harlequin.co.uk for more info.
This is a commercial product - very good. Needs at least 64MB memory.

Allegro Common Lisp: Commercial lisp from Franz Inc. We don't use it so no
comment. email franz.com for more info.

CMUCL: A public domain common lisp available for the alpha but has some
restrictions which I can't fully remember. Get it from cmu.edu somewhere.

GCL: GNU Common Lisp. Public Domain common lisp from GNU. An extension of AKCL
which compiles its code to C.

CLISP: Public Domain lisp from Germany originally Bruno Haible but now supported
by someone else. Only Steele version 1 compliant but other add ons available to
make it tend towards Steele 2.

Also others which I can't remember any details of or how to get. Look at the
comp.lang.lisp newsgroup FAQs as one of them details all the lisps that are
available. I usually get a version from rtfm.mit.edu but there may be
somewhere
closer to you.

Hope this helps - we use and develop our software on LispWorks and I
think it is
a really good product - it's not cheap though.


Bye

John

- o -

deya_at_Pyramids.apana.org.au writes ;

There is Allegro Common Lisp Compiler (with CLOS Support) from Franz. Inc.
If interested, send me an email to give you their details ( This is not a
free
copy)
You can get a free copy from http:
//www.cs.cmu.edu/afs/cs.cmu.edu/project/ai_repository/ai/html/cltl/cltl2.html


Deya

- o -

amw <amw_at_aberystwyth.ac.uk> writes ;

Murat

  We run the poplog software which has prolog and lisp as part of the package.
This software runs on DIGITAl UNIX v3.2 on Alpha 3000/700 systems. The company
we bought poplog from is ISL - Integral Solutions Limited. If you need any
more information let me know I'll get the applications support officer
to send you the details.

Regards
        Angela

- o -

Michael Pruett <michael_at_doris308a.dorm.tulane.edu> writes ;

If you're not aware of clisp and gcl, I'd advise you to check them out.
They're both distributed under the GNU public license.

- o -

Steven L. Jenkins <sjenkins_at_iastate.edu> writes ;

I don't know about Prolog, but CMU Common Lisp works fine on
Digital Unix (although it may not on the current release -- I haven't
played with it in a while).


 -- o --

Now I'm examining those choices.

Thanx for all.
Sincerely.
murat.



 
---- Murat Balci UNIX
sys. Admin s-mail : Ege Universitesi B.A.U.M - Bornova, IZMIR, TURKIYE.
e-mail : balci_at_bornova.ege.edu.tr Phone :+(90)(232)3881080-253
Received on Tue Nov 28 1995 - 15:32:09 NZDT

This archive was generated by hypermail 2.4.0 : Wed Nov 08 2023 - 11:53:46 NZDT