Path: utzoo!mnetor!tmsoft!torsqnt!lethe!yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!uunet!mcsun!ukc!ox-prg!prg.ox.ac.uk!ajs
From: ajs@prg.ox.ac.uk (Adolfo Socorro)
Newsgroups: comp.lang.lisp
Subject: Re: So who's really using LISP?
Message-ID: <1227@culhua.prg.ox.ac.uk>
Date: 7 Feb 91 14:32:02 GMT
Sender: news@prg.ox.ac.uk
Reply-To: ajs@prg.ox.ac.uk (Adolfo Socorro)
Organization: Oxford University Computing Laboratory, UK
Lines: 9

At Oxford and SRI International, we use AKCL for the development of the OBJ
family of languages and systems.

I was at UMass-Amherst before, and there Common Lisp is used in the
implementation of an extension of the Boyer-Moore theorem prover, and for the
development of a (prototype of a) database language that is connected to the
prover. The AI groups use a combination of Common Lisp and C.

Adolfo