Archive-name: free-compilers/part3
Last-modified: 1994/6/30
Version: 6.5

lisp family
-------------------------------------------------------------------------------
category: lisp family
description: [The programming languages for those who like parenthesis --ed]

language: Dylan
package: Thomas
version: 1.1
parts:  translator(Scheme)
author:  Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller 
  <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com>
location: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com
  ftp pub/dylan/Thomas from cambridge.apple.com
description: Thomas, a compiler written at Digital Equipment
  Corporation's Cambridge Research Laboratory compiles
  a language compatible with the language described
  in the book "Dylan(TM) an object-oriented dynamic
  language" by Apple Computer Eastern Research and
  Technology, April 1992.  It does not perform well.
  Thomas is NOT Dylan(TM).
requires: Scheme
ports:  MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambit, Mac, PC, 
  Vax, MIPS, Alpha, 680x0
updated: 1994/04/18

language: Dylan 
package: Marlais
version: 0.3
parts:  interpreter
author:  Brent Benson <brent@ssd.csd.harris.com>
location: ftp pub/marlais-0.2a.tar.gz from travis.csd.harris.com
  ftp pub/dylan/Marlais/marlais-0.3.tar.gz
   from cambridge.apple.com
description: Marlais is a simple-minded interpreter for a programming
  language strongly resembling Dylan [1].  It is not intended as
  a final release, but rather to fill a perceived void where
  Dylan implementations are concerned.  This is a "hackers
  release" and is intended as a vehicle for education,
  experimentation and also to encourage people to port it to
  different architectures, add features, and fix bugs.  Marlais
  is alpha software and should not be used by people desiring
  reliability!!!
ports:  Sun-3, Sun-4, VAX/BSD, OS/2, Linux, Sequent Symmetry,
  Encore, HP-UX, Ultrix, SGI, Sony News, A/UX
updated: 1994/04/18

language: EuLisp
package: Feel (Free and Eventually Eulisp)
version: 0.75
parts:  interpreter, documentation
author:  Pete Broadbery <pab@maths.bath.ac.uk>
location: ftp pub/eulisp from ftp.bath.ac.uk
description: + integrated object system
  + a module system
  + parallelism
  + interfaces to PVM library, tcp/ip sockets, futures, 
  Linda, and CSP.
ports:  most unix
portability: high, but can use shared memory and threads if available
updated: 1992/09/14

language: Common Lisp
package: CMU Common Lisp
version: 17c
parts:  incremental compiler, profiler, runtime, documentation, 
  editor, debugger
author:  ?
location: ftp pub/* from from lisp-sun1.slisp.cs.cmu.edu.
description: CMU Common Lisp is public domain "industrial strength" Common
  Lisp programming environment.  Many of the X3j13 changes have
  been incorporated into CMU CL. Wherever possible, this has
  been done so as to transparently allow use of either CLtL1 or
  proposed ANSI CL.  Probably the new features most interesting
  to users are SETF functions, LOOP and the WITH-
  COMPILATION-UNIT macro.
  + The new CMU CL compiler (Python) is more sophisticated
    thatn other Common Lisp compilers.  It produces better code
    and is easier to use.
  + The programming environment based on the Hemlock editor
    is better integrated than gnu-emacs based environments.
conformance: mostly X3J13 compatible.
ports:  Sparc/Mach Sparc/SunOS Mips/Mach IBMRT/Mach
contact: slisp@cs.cmu.edu
updated: 1993/11/18

language: Common Lisp
package: PCL (Portable Common Loops)
version: 8/28/92 PCL
parts:  library
author:  ? Richard Harris <rharris@ptolemy2.rdrc.rpi.edu> ?
location: ftp pcl/* from parcftp.xerox.com
description: A portable CLOS implementation.  CLOS is the object oriented 
  programming standard for Common Lisp.  Based on Symbolics 
  FLAVORS and Xerox LOOPS, among others. Loops stands for
  Lisp Object Oriented Programming System.
ports:  Lucid CL 4.0.1, CMUCL 16e, ?
status:  ?
updated: 1992/09/02

language: Common Lisp
package: WCL
version: 2.14
parts:  ?, shared library runtime, source debugger
author:  Wade Hennessey <wade@leland.Stanford.EDU>
location: ftp pub/wcl/* from sunrise.stanford.edu,
      miscellany/wcl from gummo.stanford.edu
description: A common lisp implementation as a shared library.  WCL
  Is not a 100% complete Common Lisp, but it does have
  the full development environment including dynamic file
  loading and debugging. A modified version of GDB provides
  mixed-language debugging.  A paper describing WCL was
  published in the proceedings of the 1992 Lisp and Functional
  Programming Conference. 
requires: GNU C 2.1 (not 2.2.2)
ports:  Sparc/SunOS
discussion: <wcl-request@sunrise.stanford.edu>
contact: <wcl@sunrise.stanford.edu>
updated: 1992/10/28

language: Common Lisp
package: KCL (Kyoto Common Lisp)
version: ?
parts:  compiler(->C), interpreter
author:  T. Yuasa <yuasa@tutics.tut.ac.jp>, M. Hagiya 
  <hagiya@is.s.u-tokyo.ac.jp> 
location: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ?
description: KCL, Kyoto Common Lisp, is an implementation of Lisp,
  It is written in the language C to run under Un*x-like 
  operating systems.  KCL is very C-oriented; for example, 
  the compilation of Lisp functions in KCL involves a 
  subsidiary C compilation.
conformance: conforms to the book ``Common Lisp: The Language,''
  G. Steele, et al., Digital Press, 1984.  
bugs:  kcl@cli.com
restriction: must sign license agreement
discussion: kcl-request@cli.com
updated: 1987/06

language: Common Lisp
package: AKCL (Austin Kyoto Common Lisp)
version: 1-615
parts:  improvements
author:  Bill Schelter <wfs@cli.com>, <wfs@rascal.ics.utexas.edu>
location: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu
description: AKCL is a collection of ports, bug fixes, and
  performance improvements to KCL.
ports:  Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix
  SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix,
  VAX/bsd VAX/ultrix NeXT
updated: 1992/04/29

language: Common Lisp
package: CLX 
version: 5.01
parts:  library
author:  ?
location: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu
description: Common Lisp binding for X
bugs:  bug-clx@expo.lcs.mit.edu
ports:  ?, CMU Common Lisp
contact: ?
updated: 1992/08/26

language: Common Lisp
package: CLISP
version: 1993/10/06
parts:  interpreter, bytecode compiler, runtime library, editor
author:  Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>,
  Michael Stoll <michael@rhein.iam.uni-bonn.de>
location: ftp /pub/lisp/clisp from ma2s2.mathematik.uni-karlsruhe.de
description: CLISP is a Common Lisp (CLtL1) implementation by Bruno Haible
  of Karlsruhe University and Michael Stoll of Munich University,
  both in Germany.  It needs only 1.5 MB of RAM. German and
  English versions are available, French coming soon.  Packages
  running in CLISP include PCL and, on Unix machines, CLX.  A
  native subset of CLOS is included.
conformance: CLtL1 + parts of CLtL2
restriction: GNU General Public License
ports:  Atari, Amiga, MS-DOS, OS/2, Linux, Sun4, Sun386i, HP90000/800
  and others
discussion: send "subscribe clisp-list" to 
  listserv@ma2s2.mathematik.uni-karlsruhe.de
contact: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>
updated: 1993/10/06

language: Common Lisp
package: Cartier's Contribs
version: 1.2
parts:  libraries, documentation
author:  Guillaume Cartier <cartier@math.uqam.ca>
location: ftp pub/mcl2/contrib/Cartiers* from cambridge.apple.com
description: libraries for MCL
requires: Macintosh Common Lisp
discussion: comp.lang.lisp.mcl
updated: 1994/04/18

language: Common Lisp
package: QT-OBJECTS
version: ?
parts:  library
author:  Michael Travers <mt@media.mit.edu> and others
location: ?
description: interface between MCL and QuickTime
requires: Macintosh Common Lisp
discussion: comp.lang.lisp.mcl
updated: 1994/04/18

language: Common Lisp
package: Memoization ?
version: ?
parts:  library
author:  Marty Hall <hall@aplcenmp.apl.jhu.edu>
location: ftp pub/Memoization from archive.cs.umbc.edu
description: Automatic memoization is a technique by which an existing 
  function can be transformed into one that "remembers" 
  previous arguments and their associated results
updated: 1992/11/30

language: Common Lisp
package: GINA (Generic Interactive Application) 
version: 2.2
parts:  language binding, class library, interface builder
author:  ?
location: ftp /gmd/gina from ftp.gmd.de 
    N.America: ftp contrib/? from export.lcs.mit.edu
description: GINA is an application framework based on Common Lisp and 
  OSF/Motif to simplify the construction of graphical 
  interactive applications. It consists of:
  + CLM, a language binding for OSF/Motif in Common Lisp.
  + the GINA application framework, a class library in CLOS
  + the GINA interface builder, an interactive tool implemented 
  with GINA to design Motif windows.
requires: OSF/Motif 1.1 or better.  Common Lisp with CLX, CLOS, PCL and
  processes.
ports:  Franz Allegro, Lucid, CMU CL and Symbolics Genera
discussion: gina-users-request@gmd.de
updated: ?

language: Common Lisp
package: CLiCC
version: 0.6.4
parts:  compiler(->C), runtime library
author:  Heinz Knutzen <hk@informatik.uni-kiel.de>,
  Ulrich Hoffman <uho@informatik.uni-kiel.de>,
  Wolfgang Goerigk <wg@informatik.uni-kiel.de>
location: ftp pub/kiel/apply/clicc*
     from ftp.informatik.uni-kiel.de (134.245.15.114)
description: A Common Lisp to C compiler, meant to be used as a supplement
  to existing CLISP systems for generating portable applications.
  Target C code must be linked with CLiCC runtime library to
  produce executable.
conformance: Subset of Common Lisp + CLOS (named: CL_0, or CommonLisp_0)
  CL_0 based on CLtL1.
restriction: Freely distributable and modifiable
ports:  Runs in Lucid Lisp, AKCL, CLISP, ...
status:  Working towards CLtL2 and ANSI-CL conformance.
updated: 1994/06/25

language: Common Lisp
package: Hyperlisp
version: 2.1f
parts:  ?
author:  Joe Chung, MIT Media Laboratory
location: ftp pub/mcl2/contrib/hyperlisp21f.sit.hqx 
   from cambridge.apple.com
description: Hyperlisp is a real-time MIDI programming environment
  embedded in Macintosh Common Lisp. The environment 
  was developed specifically for the Hyperinstruments project 
  at the MIT Media Laboratory, and is optimized for interactive 
  systems which require fast response times. Hyperlisp 
  provides two main services for the music programmer: 
  routines for MIDI processing and primitives for scheduling 
  the application of functions. Programs written in Macintosh 
  Common Lisp can use these services for a wide variety of 
  real-time MIDI applications.
updated: 1994/04/18

language: Franz Lisp
package: Liszt?
version: ?
parts:  compiler(->C)
author:  port to C by J W Dalton <jeff@festival.ed.ac.uk>
location: ask author
description: A version of Liszt that emits C
updated: ?

language: Lisp
package: RefLisp
version: 2.67
parts:  interpreter, documentation, examples, profiler
author:  Bill Birch <bbirch@hemel.bull.co.uk>
location: ftp implementations/reflisp/* from the directory 
  /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu
description: The interpreter is a shallow-binding (i.e., everything has
  dynamic scope), reference counting design making it suitable
  for experimenting with real-time and graphic user interface
  programming. Common Lisp compatibility macros are provided, and
  most of the examples in "Lisp" by Winston & Horn have been run
  on RefLisp.  RefLisp makes no distinction between symbol-values
  and function-values, so a symbol can be either but not both.
  There are Lisp modules for lexical scope and for running
  indefinite extent Scheme programs.
ports:  MSDOS (CGA/EGA/VGA), Unix (AIX)
status:  "Last Update for a While," author is emigrating to Australia
updated: 1993/02/09

language: Lisp
package: xlisp
version: 2.1
parts:  interpreter
author:  David Micheal Betz <dbetz@apple.com>
location: ftp pub/xlisp* from wasp.eng.ufl.edu
    US Mail: contact Tom Almy <toma@sail.labs.tek.com>
    Windows: ftp util/wxlslib.zip from ftp.cica.indiana.edu
    Version2.0: ftp pub/xlisp/* from cs.orst.edu
    Macintosh: ftp pub/bskendig/? from netcom.com (source comming)
description: XLISP is an experimental programming language
  combining some of the features of Common Lisp with an
  object-oriented extension capability.  It was
  implemented to allow experimentation with
  object-oriented programming on small computers.
conformance: subset of Common Lisp with additions of Class and Object
restriction: ? no commercial use ?
ports:  unix, amiga, atari, mac, MSDOS
portability: very high: just needs a C compiler
discussion: comp.lang.lisp.x
updated: 1992/05/26 (unix), 1987/12/16 (other platforms)

language: Lisp
package: "LISP, Objects, and Symbolic Programming"
version: ? 
parts:  book with compiler included
author:  Robert R. Kessler and Amy R. Petajan,
  published by Scott, Foresman and Company, Glenview, IL
location: bookstore...
description: ? (A short synopsis might help if anyone has one)
updated: 1988

language: Lisp
package: franz lisp
version: ?
parts:  ?
author:  ?
location: [does anyone know where you get franz lisp??? --ed]
description: ?
discussion: franz-friends-request@berkeley.edu
updated: ?

language: Lisp (WOOL - Window Object Oriented Language)
package: GWM (Generic Window Manager)
version: ?
parts:  interpreter, examples
author:  ?
location: ftp contrib/gwm/* from export.lcs.mit.edu
    France: ftp pub/gwm/* from avahi.inria.fr
description: Gwm is an extensible window manager for X11.  It is
  based on a WOOL kernel, and interpreted dialect of lisp 
  with specific winow management primitives.
discussion: gwm-talk@???
contact: ?
updated: ?

language: Lisp (elisp - Emacs Lisp)
package: ILISP
version: 5.0
parts:  Emacs interface
author:  ?? Ivan Vazquez <ivan@haldane.bu.edu>
location: ftp to haldane.bu.edu (128.197.54.25) in pub/ilisp/ilisp.tar.Z
description: ILISP provides a somewhat lisp-machine like interface to lisp
  listeners from Emacs.
bugs:  ilisp-bug@darwin.bu.edu (or ilisp-bugs@darwin.bu.edu).
discussion: ilisp@darwin.bu.edu
support: Mailing list requests/deletions to ilisp-request@darwin.bu.edu
updated: 1993/06/28

language: Lisp (elisp - Emacs Lisp)
package: GNU Emacs
version: 19.25
parts:  editor, interpreter, documentation, source debugger
author:  Richard Stallman <rms@gnu.ai.mit.edu> and others
location: pub/gnu/emacs-19.25.tar.gz from any GNU site.
description: An editor that is almost an operating system.  Quite
  programmable.  And it even fits in your tackle box.
bugs:  gnu.emacs.bug, e-mail to bug-gnu-emacs@prep.ai.mit.edu
ports:  Unix, VMS, ?
discussion: alt.religion.emacs, gnu.emacs.sources
help:  gnu.emacs.help
announcements: gnu.emacs.announce
updated: 1994/06/01

language: Lisp (elisp - Emacs Lisp)
package: Lucid Emacs (lemacs)
version: 19.10
parts:  ? interpreter
author:  kyle@crystal.wonderworks.com
location: /pub/lemacs/* from LUCID.COM (192.43.175.3).
description: A version of Emacs based on Emacs 19.
  Mirrored at other sites including:
     /pub/epoch-files/lemacs/ from cs.uiuc.edu
     /pub/lemacs-19.10/ from self.stanford.edu
bugs:  alt.lucid-emacs.bug, bug-lucid-emacs@lucid.com
discussion: alt.lucid-emacs.help, help-lucid-emacs@lucid.com
updated: 1994/06/01

language: ? Lisp, X
package: winterp
version: 2.01
parts:  interpreter, documentation, examples
author:  Niels P. Mayer <mayer@eit.com> or <mayer@netcom.com>
location: ftp.x.org in contrib/devel_tools/winterp-2.01.tar.gz
description: An object-oriented rapid prototyping, development and delivery
  environment for building extensible applications with the
  OSF/Motif UI Toolkit and Xtango-based graphics/animation.
ports:  UNIX
discussion: comp.lang.lisp.x.
announcements: winterp@netcom.com
updated: 1994/06/09

language: Lisp
iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters

language: Oaklisp
package: oaklisp
version: 1.2
parts:  interface, bytecode compiler, runtime system, documentation
author:  Barak Pearlmutter, Kevin Lang
location: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
description: Oaklisp is a Scheme where everything is an object.  It 
  provides multiple inheritence, a strong error system,
  setters and locators for operations, and a facility for
  dynamic binding.
status:  actively developed?
contact: Pearlmutter-Barak@CS.Yale.Edu ?
updated: 1992/05 ?

language: Scheme
package: Schematik
version: 1.1.5.2
parts:  programming environment
author:  Chris Kane, Max Hailperin <max@nic.gac.edu>
location: ftp /pub/next/scheme/* from ftp.gac.edu
    Europe: ftp /pub/next/ProgLang from ftp.informatik.uni-muenchen.de
description: Schematik is a NeXT front-end to MIT Scheme for
  the NeXT.  It provides syntax-knowledgeable text
  editing, graphics windows, and user-interface to
  an underlying MIT Scheme process. It comes packaged
  with MIT Scheme 7.1.3 ready to install on the NeXT.
ports:  NeXT, MIT Scheme 7.1.3
portability: requires NeXTSTEP
contact: schematik@gac.edu
updated: 1993/03/11

language: Scheme
package: T
version: 3.1
parts:  compiler (native machine code)
author:  Norman Adams, David Kranz, Richard Kelsey, James Philbin,
  and Jonathan Rees.
location: ftp pub/systems/t3.1 from ftp.ai.mit.edu
description: a Scheme-like language developed at Yale.  T is
  written in itself and compiles to efficient native
  code.  Includes a Scheme environment.
  (A multiprocessing version of T is available from
  masala.lcs.mit.edu:/pub/mult)
bugs:  kranz@lcs.mit.edu
ports:  Decstation, Sparc, Iris. Old m68k version.
contact: David Andrew Kranz <kranz@lcs.mit.edu>
updated: 1991/11/26

language: Scheme
package: scm
version: 4e1
parts:  interpreter, conformance test, documentation
author:  Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
location: altdorf.ai.mit.edu in archive/scm/scm*
  prep.ai.mit.edu in pub/gnu/jacal/scm*.tar.gz
  ftp.cs.indiana.edu in /pub/scheme-repository/imp/scm*.tar.gz
    Canada: ftp pub/oz/scheme/new/* from nexus.yorku.ca
    Europe: ftp pub/bosullvn/jacal/* from ftp.maths.tcd.ie
description: Fast portable R4RS Scheme interpreter.
conformance: Revised^4 Report on the Algorithmic Language Scheme,
  IEEE P1178 specification.
restriction: GNU General Public License
requires: SLIB (pointers to it in documentation)
ports:  Amiga, Atari-ST, MacOS, MS-DOS, OS/2, NOS/VE, Unicos, VMS,
  Unix. ASCII and EBCDIC both supported.
status:  actively developed
contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880
updated: 1994/04/29

language: Scheme
package: Scheme Library (slib)
version: 2a1
parts:  library, documentation
author:  ?? Aubrey Jaffer <jaffer@ai.mit.edu>
location: altdorf.ai.mit.edu in ftp archive/scm/slib*.tar.Z
  prep.ai.mit.edu in pub/gnu/jacal/slib*.tar.gz
  ftp.maths.tcd.ie in pub/bosullvn/jacal/slib*.tar.gz
  ftp.cs.indiana.edu in /pub/scheme-repository/imp/slib*.tar.gz
description: SLIB is a portable scheme library meant to provide 
  compatibiliy and utility functions for all standard scheme 
  implementations.
ports:  Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C, 
  Scheme48, T3.1.
status:  actively developed
contact: Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
updated: 1993/10/09

language: Scheme
package: Hobbit
version: release 2
parts:  compiler(->C), documentation
author:  Tanel Tammet <tammet@cs.chalmers.se>
location: altdorf.ai.mit.edu in archive/scm/hobbit2.tar.gz
  ftp.maths.tcd.ie in pub/bosullvn/jacal/hobbit2.tar.gz
  ftp.cs.indiana.edu in /pub/scheme-repository/imp/hobbit2.tar.gz
description: The main aim of hobbit is to produce maximally fast C programs
  which would retain most of the original Scheme program
  structure, making the output C program readable and modifiable.
  Hobbit is written in Scheme and is able to self-compile.
  Hobbit release 1 works together with the scm release scm4b3. 
  Future releases of scm and hobbit will be coordinated.
requires: scm 4b3
updated: 1993/04/25

language: Scheme
package: siod (Scheme In One Day, or Scheme In One Defun)
version: 3.0
parts:  interpreter,library,documentation,sql interface
author:  George Carrette <gjc@world.std.com>
location: ftp.std.com in pub/gjc
  ftp.cs.indiana.edu in scheme
description: Small scheme implementation in C arranged as a set of
  subroutines that can be called from any main program
  for the purpose of introducing an interpreted extension
  language.  Compiles to 20K bytes of executable (VAX/VMS).
  Lisp calls C and C calls Lisp transparently.
features: symbols,strings,arrays,hash tables, file i/o binary/text/seek,
  data save/restore in binary and text, interface to commercial
  databases such Oracle, Digital RDB.  Small executable (42k
  on VAX).
restriction: none besides non-removal of copyright notice.
ports:  VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray,
  ALPHA/VMS, Windows NT/WIN32, OS/2.
portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall
status:  supported as benchmark/testbed at mitech.com
help:  the author will help anyone building something.
contributions: antique/classic computer hardware, perhaps.
announcements: comp.lang.scheme
updated: 1994/04/29

language: Scheme
package: MIT Scheme (aka C-Scheme)
version: 7.2
parts:  interpreter, large runtime library, emacs macros, 
  native-code compiler, emacs-like editor, source-level debugger
author:  MIT Scheme Team (primarily Chris Hanson, Jim Miller, and
  Bill Rozas, but also many others)
location: ftp archive/scheme-7.2 from altdorf.ai.mit.edu 
  DOS floppies ($95) and Unix tar tapes ($200) from 
  Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory /
  545 Technology Sq. / Cambridge, MA 02139
description: Scheme implementation with rich set of utilities.
conformance: full compatibility with Revised^4 Report on Scheme, 
  one known incompatibility with IEEE Scheme standard
bugs:  bug-cscheme@zurich.ai.mit.edu
ports:  68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI), 
  HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF), 
  i386 (DOS/Windows, various Unix)
status:  activly developed
discussion: info-cscheme@zurich.ai.mit.edu 
  (cross-posted to comp.lang.scheme.c)
updated: 1992/08/24

language: Scheme
package: Scheme->C
version: 15mar93
parts:  compiler(->C)
author:  Digital Western Research Laboratory; Joel Bartlett
location: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com
description: Translates Revised**4 Scheme to C that is then compiled
  by the native C compiler for the target machine.  This
  design results in a portable system that allows either
  stand-alone Scheme programs or programs written in both
  compiled and interpreted Scheme and other languages.
conformance: superset of Revised**4
  + "expansion passing style" macros
  + foreign function call capability
  + interfaces to Xlib (Ezd & Scix)
  + records
reference: send Subject "help" to WRL-Techreports@decwrl.dec.com
  for technical report.  Other documentation in
  Scheme-to-C directory on gatekeeper.
ports:  VAX/ULTRIX, DECstation ULTRIX, Alpha AXP OSF/1,
  Microsoft Windows 3.1, Apple Macintosh 7.1,
  HP 9000/300, HP 9000/700, Sony News, SGI Iris and
  Harris Nighthawk and other Unix-like m88k systems.
  The 01nov91 version is also available on Amiga, SunOS,
  NeXT, and Apollo systems.
status:  actively developed, contributed ports welcomed
updated: 1993/03/15

language: Scheme, Tk
package: STk
version: 1.00
parts:  interpreter
author:  Gallesio Erick <eg@unice.fr>
location: ftp pub/STk-1.00.tar.gz from kaolin.unice.fr
description: A Scheme interpreter blended with Ousterhout's Tk package.  
  STk expresses all of Tk as scheme objects.  STk includes
  a CLOS/Dylan-like OO extenstion, but the extension is slow.
conformance: almost R4RS
ports:  SunOS 4.1.x, Ultrix/MIPS
updated: 1993/09/06

language: Scheme
package: PC-Scheme
version: 3.03
parts:  compiler, debugger, profiler, editor, libraries
author:  Texas Instruments
location: ftp archive/pc-scheme/* from altdorf.ai.mit.edu
description: Written by Texas Instruments. Runs on MS-DOS 286/386 IBM PCs
  and compatibles.  Includes an optimizing compiler, an
  emacs-like editor, inspector, debugger, performance testing,
  foreign function interface, window system and an
  object-oriented subsystem.  Also supports the dialect used in
  Abelson and Sussman's SICP.  
conformance: Revised^3 Report, also supports dialect used in SICP.
restriction: official version is $95, contact rww@ibuki.com
ports:  MSDOS
updated: 1992/02/23

language: Scheme
package: PCS/Geneva
version: 4.02PL1
parts:  compiler, debugger, profiler, editor, libraries
author:  "a team at the u. of Geneva"
location: send email to schemege@uni2a.unige.ch
description: PCS/Geneva is a cleaned-up version of Texas Instrument's PC
  Scheme developed at the University of Geneva. The main
  extensions to PC Scheme are 486 support, BGI graphics, LIM-EMS
  pagination support, line editing, and assembly-level
  interfacing.
contact: schemege@uni2a.unige.ch
updated: 1994/01/11

language: Scheme
package: Gambit Scheme System
version: 2.0
parts:  interpreter, compiler, linker, libraries
author:  Marc Feeley <feeley@iro.umontreal.ca>
location: ftp pub/parallele/gambit/* from ftp.iro.umontreal.ca
description: Gambit is an optimizing Scheme compiler/system.  The
  Macintosh port can run with Toolbox and has a built-in
  editor.
conformance: IEEE Scheme standard and `future' construct.
ports:  68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh
updated: ?

language: Scheme
package: Elk (Extension Language Kit)
version: 2.2
parts:  interpreter, libraries
author:  Oliver Laumann <net@cs.tu-berlin.de>, Carsten Bormann
  <cabo@cs.tu-berlin.de> 
location: ftp pub/unix/languages/scheme/elk-2.2.tar.gz from 
  ftp.fu-berlin.de
    N.America: ftp contrib/elk-2.2.tar.gz from ftp.x.org
description: Elk is a Scheme interpreter designed to be used as a 
  general extension language.
  + interfaces to Xlib, Xt, and various widget sets.
  + dynamic loading of extensions
  + almost all artificial limitations removed
  + generational/incremental garbage collector
  + Unix system call extensions
  + Records (structures)
  + bitstrings
conformance: Mostly R3RS compatable.
ports:  unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt, 
  rs6000, hp700, sgi, sony, DOS (gcc+DJGPP or go32)
updated: 1994/2/15

language: Scheme
package: libscheme
version: 0.3
parts:  embedded interpreter
author:  Brent Benson <Brent.Benson@mail.csd.harris.com>
location: ftp.cs.indiana.edu in imp/libscheme-0.3.tar.gz
description: An embedded interpreter for Scheme written in C, can be used
  as a command interpreter or extension language, and is easily
  extended in C with new primitive types, primitve functions and
  syntax.
conformance: Revised^4 Report on the Algorithmic Language Scheme.
updated: 1994/05/16

language: Scheme
package: ezd - easy drawing for programs on X displays
version: 15mar93
parts:  interpreter/server
author:  ?
location: ftp pub/DEC/ezd/* from gatekeeper.dec.com
description: Ezd is a graphics server that sits between an application
  program and the X server and allows both existing and new
  programs easy access to structured graphics.  Ezd users have
  been able to have their programs produce interactive drawings
  within hours of reading the man page.  Structured graphics:
  application defined graphical objects are ordered into drawings
  by the application.  Loose coupling to the application
  program:  unlike most X tools, ezd does not require any event
  handling by the application.  The ezd server mantains window
  contents.  When an event occurs on such an object, an
  application supplied Scheme expression is evaluated.
contact: Joel Bartlett <bartlett@decwrl.dec.com> ?
updated: 1993/03/10

language: Scheme
package: XScheme
version: 0.28
parts:  ?
author:  David Betz <dbetz@apple.com>
location: ftp pub/scheme/* from nexus.yorku.ca
description: ?
discussion: comp.lang.lisp.x
contact: ?
updated: 1992/02/02

language: Scheme
package: Fools' Lisp
version: 1.3.2
parts:  ?
author:  Jonathan Lee <jonathan@scam.berkeley.edu>
location: ftp src/local/fools.tar.Z from scam.berkeley.edu
description: a small Scheme interpreter that is R4RS conformant.
ports:  Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo
updated: 1991/10/31

language: Scheme
package: Scheme88
version: ?
parts:  ?
author:  ?
location: ftp pub/scheme/* from nexus.yorku.ca
description: ?
contact: ?
updated: ?

language: Scheme
package: UMB Scheme
version: ?
parts:  ?, editor, debugger
author:  William Campbell <bill@cs.umb.edu>
location: ftp pub/scheme/* from nexus.yorku.ca
description: ?
conformance: R4RS Scheme
ports:  ?
updated: ?

language: Scheme
package: PseudoScheme
version: 2.8
parts:  translator(Common Lisp)
author:  Jonathan Rees <jar@cs.cornell.edu>
location: ?
description: ?
conformance: R3RS except call/cc.
requires: Common Lisp
ports:  Lucid, Symbolics CL, VAX Lisp, Explorer CL
announcements: info-clscheme-request@mc.lcs.mit.edu
updated: ?

language: Scheme
package: SOS (Scheme Object System)
version: ?
parts:  ?
author:  Chris Hanson ?
location: ftp archive/cph/sos.tar.gz from altdorf.ai.mit.edu
description: ?
updated: ?

language: Scheme
package: Similix
version: 5.0
parts:  partial evaulator, debugger
author:  Anders Bondorf <anders@diku.dk>
location: ftp pub/diku/dists/Similix.tar.Z from ftp.diku.dk
description: Similix is an autoprojector (self-applicable partial 
  evaluator) for a higher order subset of the strict functional 
  language Scheme.  Similix handles programs with user defined 
  primitive abstract data type operators which may process 
  global variables (such as input/output operators).
conformance: extension of large subset of R4RS Scheme.
requires: Scheme
ports:  Scm, Chez Scheme
portability: high
contact: Anders Bondorf <anders@diku.dk>
updated: 1993/05/18

language: Scheme
package: syntax-case
version: 2.1
parts:  macro system, documentation
author:  R. Kent Dybvig <dyb@cs.indiana.edu>
location: cs.indiana.edu in ftp pub/scheme/syntax-case.tar.Z
    Macintosh: maya.dei.unipd.it in /pub/mac/gambit/
description: We have designed and implemented a macro system that is
  vastly superior to the low-level system described in
  the Revised^4 Report; in fact, it essentially
  eliminates the low level altogether.  We also believe
  it to be superior to the other proposed low-level
  systems as well, but each of you can judge that for
  yourself.  We have accomplished this by "lowering the
  level" of the high-level system slightly, making
  pattern variables ordinary identifiers with essentially
  the same status as lexical variable names and macro
  keywords, and by making "syntax" recognize and handle
  references to pattern variables.
reference: + Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic
  Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92)
  + R. Kent Dybvig, "Writing Hygienic Macros in Scheme with
  Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92).
ports:  Chez Scheme, Mac port runs under MacGambit 2.0
updated: 1992/07/06

language: Scheme
package: x-scm
version: ?
parts:  ?
author:  Larry Campbell <campbell@redsox.bsw.com>
location: alt.sources archive
description: x-scm is a bolt-on accessory for the "scm" Scheme interpreter 
  that provides a handy environment for building Motif and 
  OpenLook applications. (There is some support as well for raw 
  Xlib applications, but not enough yet to be useful.)
requires: scm, X
ports:  ?
updated: 1992/08/10

language: Scheme, Prolog
package: "Paradigms of AI Programming"
version: ?
parts:  book with interpreters and compilers in Common Lisp
author:  Peter Norvig
location: bookstore, and ftp pub/norvig/* from unix.sri.com
description: ?
updated: ?

language: Scheme
package: Psd (Portable Scheme Debugger)
version: 1.1
parts:  debugger
author:  Kellom{ki Pertti <pk@cs.tut.fi>
location: ftp pub/src/languages/schemes/psd.tar.Z from cs.tut.fi
description: source code debugging from emacs
restriction: GNU GPL
requires: R4RS compliant Scheme, GNU Emacs.
ports:  scm, Elk, Scheme->C
updated: 1992/10/08

language: Scheme
package: Tiny Clos
version: first release
parts:  ?
author:  ?
location: ftp pub/mops/* from parcftp.xerox.com
description: A core part of CLOS (Common Lisp Object System) ported to
  Scheme and rebuilt using a MOP (Metaobject Protocol).
  This should be interesting to those who want to use MOPs
  without using a full Common Lisp or Dylan.
ports:  MIT Scheme 11.74
discussion: mailing list: mops, administered by gregor@parc.xerox.com
contact: Gregor Kiczales <gregor@parc.xerox.com>
updated: 1992/12/14

language: Scheme
package: VSCM 
version: V0r3
parts:  runtime, bytecode compiler, bytecode interpreter
author:  Matthias Blume <blume@cs.princeton.edu>
location: ftp /pub/scheme-repository/imp/vscm*.tar.gz
  ftp.cs.indiana.edu
    Germany: ftp pub/scheme/yorku/imp/vscm*
  from faui80.informatik.uni-erlangen.de
    UK:  ftp pub/uunet/languages/lisp/scheme/repository/imp/vscm*
  from unix.hensa.ac.uk
description: VSCM is a highly portable implementation of Scheme, written in
  ANSI C and Scheme.  Portability is achieved by exlusive use of
  legal ANSI C features -- as opposed to a plethora of #ifdef's
  to adjust to various system peculiarities.  (Of course, in real
  life ANSI C doesn't guarantee portability per se, because there
  are too many systems with broken compilers or broken
  libraries.)
conformance: R4RS, IEEE P1178
features: exception and interrupt handling, executable portable memory 
  images, coroutines, continuations with multiple arguments
ports:  Unix, Macintosh
portability: very high
status:  actively developed
discussion: comp.lang.scheme
updated: 1993/11/09

language: Scheme
package: PSI
version: pre-release
parts:  interpreter, virtual machine
author:  Ozan Yigit <oz@ursa.sis.yorku.ca>, David Keldsen, Pontus Hedman
location: from author
description: I am looking for a few interested language hackers to play with
  and comment on a scheme interpreter. I would prefer those who
  have been hacking portable [non-scheme] interpreters for many
  years. The interpreter is PSI, a portable scheme interpreter
  that includes a simple dag compiler and a virtual machine.  It
  can be used as an integrated extension interpreter in other
  systems, allows for easy addition of new primitives, and it
  embodies some other interesting ideas. There are some
  unique[2] code debug/trace facilities, as well, acceptable
  performance resulting from a fairly straight-forward
  implementation.  Continuations are fully and portably
  supported, and perform well.  PSI is based on the simple
  compilers/vm in Kent Dbyvig's thesis.
conformance: R^4RS compatible with a number of useful extensions.
updated: 1993/02/19

language: Scheme
package: Bigloo
version: 1.4
parts:  interpreter, compiler(->ANSI C), runtime
author:  Manuel Serrano <Manuel.Serrano@inria.fr>
location: ftp INRIA/Projects/icsla/Implementations/bigl* from ftp.inria.fr
description: The main goal of Bigloo is to deliver small and fast stand 
  alone applications.
conformance: IEEE Scheme standard with some extensions for regex handling
features: Optimization supported.
ports:  sun, sony news, sgi, linux, hp-ux
portability: very high for unix systems
updated: 1993/09/08

language: Scheme
package: Scheme84
version: ?
parts:  ?
author:  ?
location: Send a tape w/return postage to: Scheme84 Distribution /
  Nancy Garrett / c/o Dan Friedman / Department of Computer
  Science / Indiana University / Bloomington, Indiana.  Call
  1-812-335-9770.
description: ?
requires: VAX, Franz Lisp, VMS or BSD
contact: nlg@indiana.edu
updated: ?

language: Scheme
iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters

document formatting languages
-------------------------------------------------------------------------------
category: document formatting languages
description: These are formatting languages.  Very application-specific.
  [Could someone make me an entry for TeX?  --ed]
iref:  (C) c2man

language: CLiP
package: CLiP
version: 2.1
parts:  documentation generator
author:  Eric W. van Ammers <AMMERS@RCL.WAU.NL>
location: ftp clip/* from sun01.info.wau.nl
description: CLiP does not use explicite commands to perform the extraction
  process.  It recognizes pseudostatemens written as comment of
  the programming language in question. CLiP distinguishes
  pseudostatments from ordinary comments because the former
  comply with a a particular style. This specific style can be
  adjusted to suit virtually any programming language.  The CLiP
  approach to LP makes the system extremely versatile. It is
  independent of programming language and text processing
  environment.  We designed CLiP to be compatible with hypertext
  systems as well but we have not yet experimented with this form
  of documentation.
  CLiP works with almost any target and almost any source
  language
ports:  MS-DOS, VAX/VMS, Unix
updated: 1993/11/18

language: HP-GL, Postscript
package: hp2ps
version: 1.9c
parts:  interpreter
author:  Alun Jones <alun@huey.wst.com>
location: ftp pub/hp2ps/hp2ps19c.zip from ftp.wst.com
description: hp2ps is an HP-GL interpreter that is written in Postscript.
  It runs on the printer itself. 
restriction: If there is monetary benifit from using hp2ps, it is requested
  that money be set to Alun Jones.  Further, hp2ps may not be
  distributed as part of a commercial offering without prior
  agreement.
updated: ?

language: Lout
package: Lout
version: 2.05
parts:  translator(Lout->Postscript), documentation
author:  Jeffrey H. Kingston <jeff@cs.su.oz.au>
location: ftp jeff/lout.2.03.tar.Z from ftp.cs.su.oz.au
description: Lout is a batch text formatting system.
  Lout offers an unprecedented range of advanced features,
  including equation formatting, tables, diagrams, rotation and
  scaling, sorted indexes, bibliographic databases, running
  headers and odd-even pages, automatic cross referencing, and
  much more, all ready to go.  Furthermore, Lout is easily
  extended with definitions which are very much easier to write
  than troff of TeX macros because Lout is a high-level language,
  the outcome of an eight-year research project that went back to
  the beginning.
ports:  unix
updated: 1993/07/30

language: Postscript
package: Ghostscript
version: 2.6.1
parts:  interpreter, ?
author:  L. Peter Deutsch <ghost@aladdin.com>
location: ftp pub/GNU/ghostscript* from a GNU archive site
  ftp from ftp.cs.wisc.edu:/pub/X/ghostscript*2.6.1*
description: A postscript interpreter with previewers for serval
  systems and many fonts.
updated: 1993/05/29

language: Postscript, Common Lisp
package: PLisp
version: ?
parts:  translator(Postscript), programming environment(Postscript)
author:  John Peterson <peterson-john@cs.yale.edu>
location: ?
description: ?
updated: ?

language: SGML (Standardized Generalized Markup Language)
package: sgmls
version: 1.1
parts:  parser
author:  James Clark <jjc@jclark.com> and Charles Goldfarb
location: ftp pub/text-processing/sgml/sgmls-1.0.tar.Z from ftp.uu.net
    UK:  ftp sgmls/sgmls-1.1.tar.Z from ftp.jclark.com
description: SGML is a markup language standardized in ISO 8879.  Sgmls is
  an SGML parser derived from the ARCSGML parser materials which
  were written by Charles Goldfarb.  It outputs a simple, easily
  parsed, line oriented, ASCII representation of an SGML
  document's Element Structure Information Set (see pp 588-593 of
  ``The SGML Handbook'').  It is intended to be used as the front
  end for structure-controlled SGML applications.  SGML is an
  important move in the direction of separating information from
  its presentation, i.e. making different presentations possible
  for the same information.
bugs:  James Clark <jjc@jclark.com>
ports:  unix, msdos
updated: 1993/02/22

language: troff, nroff, eqn, tbl, pic, refer, Postscript, dvi
package: groff
version: 1.07
parts:  document formatter, documentation
author:  James Clark <jjc@jclark.com>
location: ftp groff-1.07.tar.z from a GNU archive site
description: [An absolutely fabulous troff! --ed]
restriction: GNU General Public License
requires: C++
updated: 1993/03/03

language: Web
package: CWeb
version: 3.1
parts:  translator(ANSI C and C++)
author:  Levy/Knuth?
location: ?
description: [Referred to in the CWeb 3.x announcement (below). I'll follow
   up on it in the next release of the list. -- Ed]
requires: ANSI C and/or C++ Compiler?
contact: ?
updated: ?

language: Web
package: CWeb
version: 3.x
parts:  translator(ANSI C)
author:  Marc van Leeuwen
location: ftp pub/cweb/? from ftp.cwi.nl
description: An ANSI C implementation of the Web literate-programming
  concept (Both source and output are ANSI C). This version was
  developed in parallel with v3.1 referred to above.
requires: ANSI C Compiler
contact: M.van.Leeuwen@cwi.nl
updated: 1993/12/16

language: Web
package: web2c
version: 5-851d
parts:  translator(C)
author:  ?
location: ftp TeX/web2c.tar.Z from ics.uci.edu
    Europe: ftp pub/tex/src/web2c/web2c.tar.Z from ftp.th-darmstadt.de
description: 
contact: Karl Berry <karl@claude.cs.umb.edu>
updated: 1993/02/22

language: Web
package: Web
version: ?
parts:  translator(Pascal)
author:  Donald Knuth
location: ftp ? from labrea.stanford.edu
description: Donald Knuth's programming language where you
  write the source and documentation together.
requires: Pascal
contact: ?
updated: ?

language: Web
package: FunnelWeb
version: ?
parts:  macro preprocessor, documentation, tests, ?
author:  Ross Williams <ross@spam.adelaide.edu.au>
location: comp.sources.unix volume 26
description: FunnelWeb is a production-quality literate-programming tool
  that emphasises simplicity and reliability. It provides a macro
  facility, and assists in the production of typeset
  documentation. Input-programming-language independent
restriction: CopyLeft
ports:  Sun, Vax, Mac, PC
updated: 1993/04/11

logic programming languages
-------------------------------------------------------------------------------
category: logic programming languages
description: languages designed to manipulate logic predicates.  Often
  used to build expert systems

language: BABYLON
package: BABYLON
version: 2.3
parts:  ai workbench (expert system development environment)
author:  members of GMD, FIT-KI
location: ftp gmd/ai-research/Software/Babylon/* from ftp.gmd.de
     or in WWW from http://www.gmd.de/
description: BABYLON is a development environment for expert systems. It
  includes frames, rules, constraints, a prolog-like logic
  formalism, and a description language for diagnostic
  applications (texi).
reference: Christaller, T., Di Primio, F., Voss, A. (Hrsg.).
  Die KI-Werkbank Babylon.
  Eine offene und portable Entwicklungsumgebung fuer
  Expertensysteme. Addison-Wesley, 1989, ISBN 3-89319-155-0

  Christaller, T., Di Primio, F., Voss, A. (eds).
  The AI-Workbench BABYLON.
  An open and portable development environment for expert systems.
  Academic Press, London, 1992, ISBN 0-12-174235-0;

  Guesgen, H.-W.,
  CONSAT: A system for constraint satisfaction.
  Research Notes in Artificial Intelligence, Morgan Kaufman,
  San Mateo, 1989.
requires: Common Lisp, works under:
     Macintosh Common Lisp, Franz Allegro, CLisp, CMU, AKCL etc.
contact: juergen.walther@gmd.de
updated: 1994/06/22

language: Goedel
package: Goedel
version: 1.4
parts:  book, compiler, user manual, system modules, example programs
author:  Jiwei Wang <jiwei@lapu.bristol.ac.uk>
location: ftp.cs.kuleuven.ac.be (134.58.41.2)
     /pub/logic-prgm/goedel/README
  ftp.cs.bris.ac.uk (137.222.102.102)
     /goedel/README
  both contain further pointers.
description: An implementation of a significant subset of Goedel. Goedel is 
  a declarative, general-purpose strongly-typed logic programming
  language.  The type system is based on many-sorted logic with
  parametric polymorphism.  Modularity is supported, as well as
  infinite precision arithmetic, limited constraint satisfaction,
  and finite sets.
reference: The Goedel Programming Language, P.M. Hill & J.W. Lloyd, 
  MIT Press, 1994, ISBN 0-262-08229-2.
requires: SICStus Prolog version 2.1 #6 (or later).  Run time system for
  SPARCstation provided, though.
status:  underging continuing development
contact: goedel@compsci.bristol.ac.uk
updated: 1994/05/16

language: Janus
package: qdjanus
version: 1.3
parts:  translator(prolog)
author:  Saumya Debray <debray@cs.arizona.edu>
location: ftp janus/qdjanus/* from cs.arizona.edu
description: janus is a janus-to-prolog compiler meant to be used 
  with Sicstus Prolog
conformance: mostly compliant with "Programming in Janus" by 
  Saraswat, Kahn, and Levy.
updated: 1992/05/18

language: Janus
package: jc
version: 1.50 alpha
parts:  compiler(->C)
author:  David Gudeman <gudeman@cs.arizona.edu>
location: ftp janus/jc/* from cs.arizona.edu
description: jc is a janus-to-C compiler (considerably faster than qdjanus).
  jc is a _sequential_ implementation of a _concurrent_ language.
bugs:  jc-bugs@cs.arizona.edu
ports:  sun-4, sun-3, Sequent Symmetry
status:  jc is an experimental system, undergoing rapid development.  
  It is in alpha release currently.
discussion: janusinterest-request@parc.xerox.com
updated: 1992/06/09

language: LIFE (Logic, Inheritance, Functions, and Equations)
package: Wild_LIFE
version: first-release
parts:  interpreter, manual, tests, libraries, examples
author:  Paradise Project, DEC Paris Research Laboratory.
location: ftp pub/plan/Life.tar.Z from gatekeeper.dec.com.
description: LIFE is an experimental programming language with a
  powerful facility for structured type inheritance.  It
  reconciles styles from functional programming, logic
  programming, and object-oriented programming.  LIFE
  implements a constraint logic programming language with
  equality (unification) and entailment (matching)
  constraints over order-sorted feature terms.  The
  Wild_LIFE interpreter has a comfortable user interface
  with incremental query extension ability.  It contains
  an extensive set of built-in operations as well as an X
  Windows interface.
conformance: semantic superset of LOGIN and LeFun.  Syntax is similar
  to prolog.
bugs:  life-bugs@prl.dec.com
ports:  MIPS-Ultrix
portability: good in theory
discussion: life-request@prl.dec.com
contact: Peter Van Roy <vanroy@prl.dec.com>
updated: 1992/12/14

language: Lolli (logic programming)
package: Lolli
version: ?
parts:  ?
author:  ? Josh Hodas <hodas@saul.cis.upenn.edu> ?
location: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu
description: Lolli is an interpreter for logic programming based 
  on linear logic principles.
  Lolli can be viewed as a refinement of the the
  Hereditary Harrop formulas of Lambda-Prolog.  All the
  operators (though not the higher order unification) of
  Lambda-Prolog are supported, but with the addition of
  linear variations. Thus a Lolli program distinguishes
  between clauses which can be used as many, or as few,
  times as desired, and those that must be used exactly once.
requires: ML
updated: 1992/11/08

language: Parlog
package: SPM System (Sequential Parlog Machine)
version: ?
parts:  ?, documenation
author:  ?
location: ? ftp lang/Parlog.tar.Z from nuri.inria.fr
description: a logic programming language ?
reference: Steve Gregory, "Parallel Logic Programming in PARLOG", 
  Addison-Wesely, UK, 1987
restriction: ? no source code ?
ports:  Sun-3 ?
updated: ??

language: Prolog
package: SB-Prolog
version: 3.1 ?
parts:  ?
author:  interpreter
location: ftp pub/sbprolog from sbcs.sunysb.edu
description: ?
restriction: GNU General Public License
contact: ? warren@sbcs.sunysb.edu ?
updated: ?

language: Prolog
package: XSB
version: 1.2
parts:  interpreter, preprocessor(HiLog), documentation
author:  XSB research group / SUNY at Stony Brook
location: ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu (130.245.1.15)
description: XSB extends the standard functionality of Prolog (being a
  descendant of PSB- and SB-Prolog) to include implementations of
  OLDT (tabling) and HiLog terms.  OLDT resolution is extremely
  useful for recursive query computation, allowing programs to
  terminate correctly in many cases where Prolog does not.  HiLog
  supports a type of higher-order programming in which predicate
  symbols can be variable or structured. This allows unification
  to be performed on the predicate symbols themselves in addition
  to the arguments of the predicates.  Of course, Tabling and
  HiLog can be used together.
ports:  Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
portability: Generally to 32-bit machines.
contact: xsb-contact@cs.sunysb.edu
updated: 1993/07/28

language: Prolog
package: Modular SB-Prolog
version: ?
parts:  interpreter
author:  ?
location: ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk
description: SB-Prolog version 3.1 plus modules
restriction: GNU General Public License
ports:  Sparc
contact: Brian Paxton <mprolog@dcs.ed.ac.uk>
updated: ?

language: ALF [prolog variant]
package: alf (Algebraic Logic Functional programming language) 
version: ?
parts:  runtime, compiler(Warren Abstract Machine)
author:  Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
location: ftp pub/programming/languages/LogicFunctional from
  ftp.germany.eu.net
description: ALF is a language which combines functional and
  logic programming techniques.  The foundation of
  ALF is Horn clause logic with equality which consists
  of predicates and Horn clauses for logic programming,
  and functions and equations for functional programming.
  Since ALF is an integration of both programming
  paradigms, any functional expression can be used
  in a goal literal and arbitrary predicates can
  occur in conditions of equations.
updated: 1992/10/08

language: CLP (Constraint Logic Programming language) [Prolog variant]
package: CLP(R)
version: 1.2
parts:  runtime, compiler(byte-code), contstraint solver
author:  IBM
location: mail to Joxan Jaffar <joxan@watson.ibm.com>
description: CLP(R) is a constraint logic programming language
  with real-arithmetic constraints.  The implementation
  contains a built-in constraint solver which deals
  with linear arithmetic and contains a mechanism
  for delaying nonlinear constraints until they become
  linear.  Since CLP(R) subsumes PROLOG, the system
  is also usable as a general-purpose logic programming
  language.  There are also powerful facilities for
  meta programming with constraints.  Significant
  CLP(R) applications have been published in diverse
  areas such as molecular biology, finance, physical
  modelling, etc.  We are distributing CLP(R) in order 
  to help widen the use of constraint programming, and 
  to solicit feedback on the system
restriction: free for academic and research purposes only
ports:  unix, msdos, OS/2
contact: Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
updated: 1992/10/14

language: Prolog + constraints over Finite Domains and Booleans
package: clp(FD)
version: 2.1
parts:  compiler clp(FD)->C, FD solver, runtime, debugger.
author:  Daniel Diaz - INRIA Rocquencourt - FRANCE
location: ftp ftp.inria.fr in the directory
  /INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd
description: clp(FD) is a constraint logic programming language
  over Finite Domains. clp(FD) is based on the wamcc
  Prolog compiler. clp(FD) provides several constraints
  "a la CHIP" on Finite Domains and Booleans and some
  facilities to build new constraints. clp(FD) is 4
  times faster than CHIP v3.2 on average.
restriction: free (see COPYRIGHT notice)
requires: GNU C (gcc) version 2.4.5 or higher
ports:  Sparc workstations
portability: Generally to 32-bit machines with gcc.
contact: Daniel Diaz (Daniel.Diaz@inria.fr)
updated: 1994/06/08

language: Prolog
package: wamcc
version: 2.1
parts:  compiler Prolog->C, runtime, Prolog debugger, WAM debugger.
author:  Daniel Diaz - INRIA Rocquencourt - FRANCE
location: ftp ftp.inria.fr in the directory
  /INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc
description: wamcc is a Prolog Compiler which translates Prolog to
  C via the WAM. wamcc use the (quasi) standard edinbourgh.
  wamcc offers the most usual built-in predicates
  (but not all), a top-level, a Prolog debugger and a
  WAM debugger. wamcc is designed to be easily extended
  (e.g. see clp(FD)).
  From an efficiency point of view, wamcc is between
  SICStus "emulated" and SICStus "native code" on Sparc
  machines (1.5 times faster than SICStus emulated, 1.5
  times slower than SICStus "native code").
restriction: free (see COPYRIGHT notice)
requires: GNU C (gcc) version 2.4.5 or higher
ports:  Sparc workstations
portability: Generally to 32-bit machines with gcc.
contact: Daniel Diaz (Daniel.Diaz@inria.fr)
updated: 1994/06/08

language: Prolog (variant)
package: Aditi
version: Beta Release
parts:  interpreter, database
author:  Machine Intelligence Project, Univ. of Melbourne, Australia
location: send email to aditi@cs.mu.oz.au
description: The Aditi Deductive Database System is a multi-user
  deductive database system.  It supports base relations
  defined by facts (relations in the sense of relational
  databases) and derived relations defined by rules that
  specify how to compute new information from old
  information.  Both base relations and the rules
  defining derived relations are stored on disk and are
  accessed as required during query evaluation.  The
  rules defining derived relations are expressed in a
  Prolog-like language, which is also used for expressing
  queries.  Aditi supports the full structured data
  capability of Prolog.  Base relations can store
  arbitrarily nested terms, for example arbitrary length
  lists, and rules can directly manipulate such terms.
  Base relations can be indexed with B-trees or
  multi-level signature files.  Users can access the
  system through a Motif-based query and database
  administration tool, or through a command line
  interface.  There is also in interface that allows
  NU-Prolog programs to access Aditi in a transparent
  manner.  Proper transaction processing is not supported
  in this release.
ports:  Sparc/SunOS4.1.2 Mips/Irix4.0
contact: <aditi@cs.mu.oz.au>
updated: 1992/12/17

language: Lambda-Prolog
package: Prolog/Mali (PM)
version: ? 6/23/92 ?
parts:  compiler(->C), linker, libraries, runtime, documentation
author:  Pascal Brisset <brisset@irisa.fr>
location: ftp pm/* from ftp.irisa.fr
description: Lambda-Prolog, a logic programming language defined by
  Miller, is an extension of Prolog where terms are
  simply typed $\lambda$terms and clauses are higher
  order hereditary Harrop formulas. The main novelties
  are universal quantification on goals and implication.
reference: + Miller D.A. and Nadathur G. "Higher-order logic 
  programming", 3rd International Conference on Logic 
  Programming, pp 448-462, London 1986.
  + Nadathur G. "A Higher-Order Logic as a Basis for Logic
  Programming", Thesis, University of Pennsylvania, 1987.  
requires: MALI-V06 abstract memory. MALI is available by anonymous ftp 
  from ftp.irisa.fr
ports:  unix
discussion: prolog-mali-request@irisa.fr
contact: pm@irisa.fr
updated: 1992/07/06

language: Prolog (variant)
package: CORAL
version: ?
parts:  interpreter, interface(C++), documentation
author:  ?
location: ftp ? from ftp.cs.wisc.edu
description: The CORAL deductive database/logic programming system was
  developed at the University of Wisconsin-Madison.  The CORAL
  declarative language is based on Horn-clause rules with
  extensions like SQL's group-by and aggregation operators, and
  uses a Prolog-like syntax.  * Many evaluation techniques are
  supported, including bottom-up fixpoint evaluation and top-down
  backtracking.  * A module mechanism is available.  Modules are
  separately compiled; different evaluation methods can be used
  in different modules within a single program.  * Disk-resident
  data is supported via an interface to the Exodus storage
  manager.  * There is an on-line help facility
requires: AT&T C++ 2.0 (G++ soon)
ports:  Decstation, Sun4
updated: 1993/01/29

language: Prolog
package: BinProlog
version: 1.71
parts:  interpreter?, documentation
author:  ?
location: ftp BinProlog/* from clement.info.umoncton.ca
description: BinProlog 1.71 is at this time probably the
  fastest freely available C-emulated Prolog.
ports:  IBM-PC/386, Sun-4, Sun-3, NeXT
contact: Paul Tarau <tarau@info.umoncton.ca>
updated: 1993/04/03

language: Prolog
package: SWI-Prolog
version: 1.7.2
parts:  ?
author:  Jan Wielemaker <jan@swi.psy.uva.nl>
location: ftp pub/SWI-Prolog from swi.psy.uva.nl 
    OS/2: ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de
description: ?
conformance: superset
features: "very nice Ed. style prolog, best free one I've seen"
restriction: GNU General Public License
ports:  Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but 
  incomplete, support needed); RS6000, PS2/AIX, Atari ST,
  Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
  MSDOS (status unknown), OS/2
status:  activly developed
discussion: prolog-request@swi.psy.uva.nl
contact: (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de>
updated: 1993/07/23

language: Prolog
package: Frolic
version: ?
parts:  ?
author:  ?
location: ftp pub/frolic.tar.Z from cs.utah.edu
description: ?
requires: Common Lisp
contact: ?
updated: 1991/11/23

language: Prolog
package: ? Prolog package from the University of Calgary ?
version: ?
parts:  ?
author:  ?
location: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca
description: + delayed goals
  + interval arithmetic
requires: Scheme
portability: relies on continuations
contact: ?
updated: ?

language: Prolog
package: ? slog ?
version: ?
parts:  translator(Prolog->Scheme)
author:  dorai@cs.rice.edu
location: ftp public/slog.sh from titan.rice.edu
description: macros expand syntax for clauses, elations etc, into Scheme
ports:  Chez Scheme
portability: reliese on continuations
updated: ?

language: Prolog
package: LM-PROLOG
version: ?
parts:  ?
author:  Ken Kahn and Mats Carlsson
location: ftp archives/lm-prolog.tar.Z from sics.se
description: ?
requires: ZetaLisp
contact: ?
updated: ?

language: Prolog
package: Open Prolog
version: ?
parts:  ?
author:  ?
location: ftp languages/open-prolog/* from grattan.cs.tcd.ie
description: ?
ports:  Macintosh
contact: Michael Brady <brady@cs.tcd.ie>
updated: ?

language: Prolog
package: UPMAIL Tricia Prolog
version: ?
parts:  ?
author:  ?
location: ftp pub/Tricia/README from ftp.csd.uu.se
description: ?
contact: <tricia-request@csd.uu.se>
updated: ?

language: Prolog
package: ?; ? (two systems)
version: ?; ?
parts:  ?; ?
author:  ?
location: ftp ai.prolog/Contents from aisun1.ai.uga.edu
description: ?; ?
ports:  MSDOS, Macintosh; MSDOS
contact: Michael Covington <mcovingt@uga.cc.uga.edu>
updated: ?; ?

language: Prolog
package: XWIP (X Window Interface for Prolog)
version: 0.6
parts:  library
author:  ?
location: ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu
description: It is a package for Prologs following the Quintus foreign
  function interface (such as SICStus). It provides a (low-level)
  Xlib style interface to X. The current version was developed
  and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1.
portability: It is adaptable to many other Unix configurations.
contact: xwip@cs.ucla.edu
updated: 1993/02/25

language: Prolog
package: PI
version: ?
parts:  library
author:  ?
location: ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt
description: PI is a interface between Prolog applications and XWindows that
  aims to be independent from the Prolog engine, provided that it
  has a Quintus foreign function interface (such as SICStus,
  YAP).  It is mostly written in Prolog and is divided in two
  libraries: Edipo - the lower level interface to the Xlib
  functions; and Ytoolkit - the higher level user interface
  toolkit
contact: Ze' Paulo Leal <zp@ncc.up.pt>
updated: 1993/03/02

language: Prolog
package: ISO draft standard
version: ? (What year??)
parts:  language definition
author:  ?
location: ftp ? from ftp.th-darmstadt.de
description: ?
updated: 1992/07/06

language: Prolog
iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters

language: OPS5
package: PD OPS5
version: ?
parts:  interpreter
author:  Written by Charles L. Forgy and ported to Common Lisp by 
  George Wood and Jim Kowalski. 
location: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from 
  ftp.cs.cmu.edu
description: Public domain implementation of an OPS5 interpreter. OPS5 is
  a programming language for rule-based production systems.
  A rule consists of pre-condition(s) and the resulting
  action. The system as a whole acts first checking the
  status of system in its working memory and matches the
  rules to see if there are rules that are satisfied,
  and then the action in one selected satisfied rule is
  executed.
  There is a commercial version available called OPS83.
  Please contact the author for information.
requires: Common Lisp
contact: ? Mark Kantrowitz <mkant+@cs.cmu.edu> ?
updated: 1992/10/17

-- 
Send compilers articles to compilers@iecc.com or
{ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.
