Партнёры:
Хостинг:
Archive-name: compilers/free/part3
Last-modified: $version_D
Version: $version_V
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 <[email protected]>, Jim Miller
<[email protected]>, Ron Weiss <[email protected]>
location: ftp://gatekeeper.pa.dec.com/pub/DEC/Thomas
ftp://cambridge.apple.com/pub/dylan/Thomas
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.5.11
parts: interpreter
author: Brent Benson <[email protected]>
location: ftp://ftp.cis.ufl.edu:/pub/src/Marlais
http://www.cis.ufl.edu/~jnw/Marlais/
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/07/13
language: Dylan
package: Mindy
version: 1.3
parts: byte-code compiler and interpreter, documentation, libraries
author: Bill Chiles <[email protected]>
location: http://legend.gwydion.cs.cmu.edu:8001/gwydion/
ftp://legend.gwydion.cs.cmu.edu/afs/cs.cmu.edu/project/gwydion/release/mindy-1.3.tar.gz
description: A partial implementation of Dylan developed by the Gwydion
Project at CMU for internal purposed pending the further
development of a full implementation of Dylan. It is being
released in the public domain as a vehicle for introducing the
language to new users.
requires: Gcc, Gmake, Flex, Bison
ports: MACH on DECstation, HP-UX on HP 700, OSF1 on Alpha,
Irix on SGI
updated: 1995/05/06
language: EuLisp
package: Feel (Free and Eventually Eulisp)
version: 0.75
parts: interpreter, documentation
author: Pete Broadbery <[email protected]>
location: ftp://ftp.bath.ac.uk/pub/eulisp
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://lisp-sun1.slisp.cs.cmu.edu/pub/*
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: [email protected]
updated: 1993/11/18
language: Common Lisp
package: PCL (Portable Common Loops)
version: 8/28/92 PCL
parts: library
author: ? Richard Harris <[email protected]> ?
location: ftp://parcftp.xerox.com/pcl/*
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 <[email protected]>
location: ftp://sunrise.stanford.edu/pub/wcl/*
ftp://gummo.stanford.edu/miscellany/wcl
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: <[email protected]>
contact: <[email protected]>
updated: 1992/10/28
language: Common Lisp
package: KCL (Kyoto Common Lisp)
version: ?
parts: compiler(->C), interpreter
author: T. Yuasa <[email protected]>, M. Hagiya
<[email protected]>
location: ? ftp://rascal.ics.utexas.edu/pub/kcl*.tar.Z
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: [email protected]
restriction: must sign license agreement
discussion: [email protected]
updated: 1987/06
language: Common Lisp
package: AKCL (Austin Kyoto Common Lisp)
version: 1-615
parts: improvements
author: Bill Schelter <[email protected]>, <[email protected]>
location: ftp://rascal.ics.utexas.edu/pub/akcl-*.tar.Z
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://export.lcs.mit.edu/contrib/CLX.R5.01.tar.Z
description: Common Lisp binding for X
bugs: [email protected]
ports: ?, CMU Common Lisp
contact: ?
updated: 1992/08/26
language: Common Lisp
package: CLISP
version: 1994/07/12
parts: interpreter, bytecode compiler, runtime library, editor
author: Bruno Haible <[email protected]>,
Michael Stoll <[email protected]>
location: ftp://ma2s2.mathematik.uni-karlsruhe.de/pub/lisp/clisp
ftp://sunsite.unc.edu/pub/Linux/development/lisp/
ftp://tsx-11.mit.edu/pub/linux/packages/lisp/
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
[email protected]
contact: Bruno Haible <[email protected]>
updated: 1994/07/12
language: Common Lisp
package: Cartier's Contribs
version: 1.2
parts: libraries, documentation
author: Guillaume Cartier <[email protected]>
location: ftp://cambridge.apple.com/pub/mcl2/contrib/Cartiers*
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 <[email protected]> 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 <[email protected]>
location: ftp://archive.cs.umbc.edu/pub/Memoization
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://ftp.gmd.de/gmd/gina
N.America: ftp://export.lcs.mit.edu/contrib/?
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: [email protected]
updated: ?
language: Common Lisp
package: CLiCC
version: 0.6.4
parts: compiler(->C), runtime library
author: Heinz Knutzen <[email protected]>,
Ulrich Hoffman <[email protected]>,
Wolfgang Goerigk <[email protected]>
location: ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/clicc*
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://cambridge.apple.com/pub/mcl2/contrib/hyperlisp21f.sit.hqx
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 <[email protected]>
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 <[email protected]>
location: ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp
from implementations/reflisp/*
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 <[email protected]>
location: ftp://wasp.eng.ufl.edu/pub/xlisp*
US Mail: contact Tom Almy <[email protected]>
Windows: ftp://ftp.cs.orst.edu/software/prog_lang/xlisp/xlisppc*
Version2.0: ftp://cs.orst.edu/pub/xlisp/*
Macintosh: ftp://netcom.com/pub/bskendig/? (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 opus
version: 38.92 and 38.93b
parts: ?
author: ?
location: ftp://ftp.cs.cmu.edu/user/ai/lang/others/franzlsp/
ftp://macbeth.cogsci.ed.ac.uk:/pub/franz-for-NetBSD/
http://www.aiai.ed.ac.uk/~jeff/franz-for-386.html
description: Franz Lisp is a dialect of Lisp that predates Common Lisp.
It is very similar to MacLisp. It lacks full lexical scoping.
discussion: [email protected]
ports: 68K Suns, VAX 750s, and ICL Perqs running PNX. NetBSD
updated: ?
language: Lisp (WOOL - Window Object Oriented Language)
package: GWM (Generic Window Manager)
version: 1.8c
parts: interpreter, examples
author: Colas Nahaboo
location: ftp://ftp.x.org/contrib/window_managers/gwm/gwm-1.8c.tar.gz
France: ftp://koala.inria.fr/pub/gwm/gwm-1.8c.tar.gz
description: Gwm is an extensible window manager for X11. It is
based on a WOOL kernel, an interpreted dialect of lisp
with specific window management primitives.
discussion: <[email protected]>
help: <[email protected]>
contact: <[email protected]>
updated: 1995/12/08
language: elisp (Emacs Lisp)
package: ILISP
version: 5.0
parts: Emacs interface
author: ?? Ivan Vazquez <[email protected]>
location: ftp://haldane.bu.edu/pub/ilisp/ilisp.tar.Z
description: ILISP provides a somewhat lisp-machine like interface to lisp
listeners from Emacs.
bugs: [email protected] (or [email protected]).
discussion: [email protected]
support: Mailing list requests/deletions to [email protected]
updated: 1993/06/28
language: elisp (Emacs Lisp)
package: GNU Emacs
version: 19.30
parts: editor, interpreter, documentation, source debugger
author: Richard Stallman and others
location: pub/gnu/emacs-19.30.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 [email protected]
ports: Unix, VMS, ?
discussion: alt.religion.emacs, gnu.emacs.sources
help: gnu.emacs.help
announcements: gnu.emacs.announce
updated: 1995/11/29
language: elisp (Emacs Lisp)
package: Lucid Emacs (lemacs)
version: 19.10
parts: ? interpreter
author: [email protected]
location: ftp://LUCID.COM/pub/lemacs/*
description: A version of Emacs based on Emacs 19.
Mirrored at other sites including:
ftp://cs.uiuc.edu/pub/epoch-files/lemacs/
ftp://self.stanford.edu/pub/lemacs-19.10/
bugs: alt.lucid-emacs.bug, [email protected]
discussion: alt.lucid-emacs.help, [email protected]
updated: 1994/06/01
language: ? Lisp, X
package: winterp
version: 2.03
parts: interpreter, documentation, examples
author: Niels P. Mayer <[email protected]> or <[email protected]>
location: ftp://ftp.x.org/contrib/devel_tools/winterp-2.*.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: [email protected]
updated: 1994/06/24
language: Lisp
iref: (Lisp) Tim Budd's C++ implementation of Kamin's interpreters
language: LISP, awk
package: A Lisp interpreter in awk
version: ?
parts: Interpreter, library, reference, example (ELIZA,
tail-recursive Scheme interpreter (with library and examples))
author: Darius Bacon <[email protected]>
location: alt.sources (May 31, 1994)
description: A relatively simple interpreter (no garbage collection or tail
recursion) implemented in AWK. Variables have dynamic scope,
but with a single namespace. Scheme names used for primitives
and special forms.
updated: 1994/05/31
language: lisp
package: walk
version: ?
parts: interpreter, nroff document
author: Roger Rohrbach
location: alt.sources (May 31, 1994)
description: A Lisp interpreter written in old awk.
reference: McCarthy, J. Recursive Functions of Symbolic Expressions and
their Computation by Machine, Part I. Comm. ACM, 3, 4,
pp. 185-195 April 1960
Aho, A., Weinberger, P., & Kernighan, B.W. The Awk
Programming Language. Addison-Wesley, Reading, MA 1988
updated: 1989/01/03
language: Oaklisp
package: oaklisp
version: 1.2
parts: interface, bytecode compiler, runtime system, documentation
author: Barak Pearlmutter, Kevin Lang
location: ftp://f.gp.cs.cmu.edu/afs/cs.cmu.edu/user/bap/oak/ftpable/*
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: [email protected] ?
updated: 1992/05 ?
language: Logo
package: logo
version: 4
parts: interpreter
author: ?
location: comp.sources.unix archive volume 10
description: ?
updated: ?
language: Logo
package: Berkeley Logo
version: 3.3
parts: interpreter
author: Brian Harvey <[email protected]>
location: ftp://anarres.cs.berkeley.edu/pub/ucblogo/*
http://http.cs.berkeley.edu/~bh/
description: + Logo programs are compatible among Unix, PC, and Mac.
+ "richer" than MswLogo?
- pretty slow.
- doesn't do anything fancy about graphics. (One turtle.)
ports: unix, pc, mac
updated: 1993/08/06
language: Logo
package: MswLogo
version: 4.2d
parts: interpreter
author: George Mills <[email protected]>
location: ftp://cher.media.mit.edu/pub/comp.lang.logo/programs/mswlogo
Source may require emailing George Mills.
description: A windows front-end for Berkeley Logo
bugs: George Mills <[email protected]>
ports: MS Windows 3.x
status: activly developed
updated: 1995/12/20
language: Scheme
package: Schematik
version: 1.1.5.2
parts: programming environment
author: Chris Kane, Max Hailperin <[email protected]>
location: ftp://ftp.gac.edu/pub/next/scheme/*
Europe: ftp://ftp.informatik.uni-muenchen.depub/next/ProgLang
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: [email protected]
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://ftp.ai.mit.edu/pub/systems/t3.1
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: [email protected]
ports: Decstation, Sparc, Iris. Old m68k version.
contact: David Andrew Kranz <[email protected]>
updated: 1991/11/26
language: Scheme
package: scm
version: 4e1
parts: interpreter, conformance test, documentation
author: Aubrey Jaffer <[email protected]>
location: ftp://altdorf.ai.mit.edu/archive/scm/scm*
ftp://prep.ai.mit.edu/pub/gnu/jacal/scm*.tar.gz
ftp://ftp.cs.indiana.edu/pub/scheme-repository/imp/scm*.tar.gz
Canada: ftp://nexus.yorku.ca/pub/oz/scheme/new/*
Europe: ftp://ftp.maths.tcd.ie/pub/bosullvn/jacal/*
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 <[email protected]>
location: in ftp://altdorf.ai.mit.edu/archive/scm/slib*.tar.Z
ftp://prep.ai.mit.edu/pub/gnu/jacal/slib*.tar.gz
ftp://ftp.maths.tcd.ie/pub/bosullvn/jacal/slib*.tar.gz
ftp://ftp.cs.indiana.edu/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 <[email protected]>
updated: 1993/10/09
language: Scheme
package: Hobbit
version: release 4b
parts: compiler(->C), documentation
author: Tanel Tammet <[email protected]>
location: ftp://ftp.cs.chalmers.se/pub/users/tammet/hobbit4b.tar.gz
It is more convenient to ftp the stuff, read the paper and
more by using the WWW URL -
http://www.cs.chalmers.se/pub/users/tammet/home.html
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.
reference: ftp://ftp.cs.chalmers.se/pub/users/tammet/hobbit.ps.gz
requires: scm 4b3
updated: 1995/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 <[email protected]>
location: ftp://ftp.std.com/pub/gjc
ftp://ftp.cs.indiana.edu
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://altdorf.ai.mit.edu/archive/scheme-7.2
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: [email protected]
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: [email protected]
(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://gatekeeper.dec.com/pub/DEC/Scheme-to-C/*
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 [email protected]
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, NT, 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 <[email protected]>
location: ftp://kaolin.unice.fr/pub/STk-1.00.tar.gz
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://altdorf.ai.mit.eduarchive/pc-scheme/*
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 [email protected]
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 [email protected]
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: [email protected]
updated: 1994/01/11
language: Scheme
package: Gambit Scheme System
version: 2.0
parts: interpreter, compiler, linker, libraries
author: Marc Feeley <[email protected]>
location: ftp://ftp.iro.umontreal.ca/pub/parallele/gambit/*
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: scsh
version: 0.4
parts: parser, libraries
author: Olin Shivers, Brian Carlstrom <[email protected]>
and David Albertz
location: ftp://clark.lcs.mit.edu/pub/su/scsh/scsh.tar.z
ftp://swiss-ftp.ai.mit.edu/pub/su/scsh/scsh.tar.z
description: Scsh is a Unix shell that is embedded within R4RS Scheme. It
provides high-level shell notation and full access to the Unix
system calls. The current implementation is built on top of
Scheme 48, version 0.36.
Real interactive use needs a parser for an sh-like syntax, job
control, and the gnu readline library. If you're interested in
hacking on these things, drop us a line at
[email protected]. We've got designs for most of
this stuff; we're just short on time and bodies.
portability: easy to port
ports: SunOS, NetBSD, Linux, HP-UX, NeXTSTEP (on intel)
discussion: <[email protected]>
bugs: <[email protected]>
contact: <[email protected]>
updated: 1995/11/01
language: Scheme
package: Elk (Extension Language Kit)
version: 3.0
parts: interpreter, dynamically-loadable libraries, run-time,
documentation, examples.
author: Oliver Laumann <[email protected]>
location: http://www.informatik.uni-bremen.de/~net/elk
ftp://ftp.x.org/contrib/devel_tools/elk-3.0.tar.gz
Europe: ftp://ftp.uni-bremen.de/pub/programming/languages/scheme/elk/elk-3.0.tar.gz
description: Elk is a Scheme implementation designed as an embeddable,
reusable extension language subsystem for applications
written in C or C++. Elk is also useful as a stand-alone
Scheme implementation, in particular as a platform for rapid
prototyping of X11-based Scheme programs.
conformance: R^4RS
reference: Oliver Laumann and Carsten Bormann, Elk: The Extension
Language Kit, USENIX Computing Systems, vol 7, no 4, 1994.
features: + Full incremental, dynamic loading on many platforms
+ Freezing of interpreter/application into executable file
+ C/C++ programmer's interface for language interoperability
+ Scheme bindings for X11 Xlib, Xt, Athena and Motif widgets
+ UNIX interface (not restricted to POSIX)
+ debugger, bitstrings, records, regular expressions
+ stop-and-copy and generational incremental garbage collector
+ 230+ pages of documentation (troff and PostScript)
ports: numerous UNIX platforms (see MACHINES in the distribution).
status: Elk was first published in 1989.
announcements: comp.lang.scheme
updated: 1995/08
language: Scheme
package: libscheme
version: 0.5
parts: embedded interpreter
author: Brent Benson <[email protected]>
location: ftp.cs.indiana.edu in imp/libscheme-0.5.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. Now supports linkage with C++.
conformance: Revised^4 Report on the Algorithmic Language Scheme.
updated: 1994/10/21
language: Scheme
package: ezd (easy drawing for programs on X displays)
version: 15mar93
parts: interpreter/server
author: ?
location: ftp://gatekeeper.dec.com/pub/DEC/ezd/*
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 <[email protected]> ?
updated: 1993/03/10
language: Scheme
package: XScheme
version: 0.28
parts: ?
author: David Betz <[email protected]>
location: ftp://nexus.yorku.ca/pub/scheme/*
description: ?
discussion: comp.lang.lisp.x
contact: ?
updated: 1992/02/02
language: Scheme
package: Fools' Lisp
version: 1.3.2
parts: ?
author: Jonathan Lee <[email protected]>
location: ftp://scam.berkeley.edu/src/local/fools.tar.Z
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://nexus.yorku.ca/pub/scheme/*
description: ?
contact: ?
updated: ?
language: Scheme
package: UMB Scheme
version: ?
parts: ?, editor, debugger
author: William Campbell <[email protected]>
location: ftp://nexus.yorku.ca/pub/scheme/*
description: ?
conformance: R4RS Scheme
ports: ?
updated: ?
language: Scheme
package: PseudoScheme
version: 2.8
parts: translator(Common Lisp)
author: Jonathan Rees <[email protected]>
location: ?
description: ?
conformance: R3RS except call/cc.
requires: Common Lisp
ports: Lucid, Symbolics CL, VAX Lisp, Explorer CL
announcements: [email protected]
updated: ?
language: Scheme
package: SOS (Scheme Object System)
version: ?
parts: ?
author: Chris Hanson ?
location: ftp://altdorf.ai.mit.edu/archive/cph/sos.tar.gz
description: ?
updated: ?
language: Scheme
package: Similix
version: 5.0
parts: partial evaulator, debugger
author: Anders Bondorf <[email protected]>
location: ftp://ftp.diku.dk/pub/diku/dists/Similix.tar.Z
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 <[email protected]>
updated: 1993/05/18
language: Scheme
package: syntax-case
version: 2.1
parts: macro system, documentation
author: R. Kent Dybvig <[email protected]>
location: ftp://cs.indiana.edu/pub/scheme/syntax-case.tar.Z
Macintosh: ftp://maya.dei.unipd.it/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 <[email protected]>
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://unix.sri.com/pub/norvig/*
description: ?
updated: ?
language: Prolog
package: Amzi! Logic Explorer
version: 3.3
parts: interpreter
author: Amzi! inc.
location: http://www.amzi.com/share.htm
description: Full tutorial and interpreted development environment
restriction: shareware for non-personal use
ports: Windows
contact: Amzi! inc. [email protected]
updated: 1996/06/01
language: Scheme
package: Psd (Portable Scheme Debugger)
version: 1.1
parts: debugger
author: Kellom{ki Pertti <[email protected]>
location: ftp://cs.tut.fi/pub/src/languages/schemes/psd.tar.Z
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://parcftp.xerox.com/pub/mops/*
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 [email protected]
contact: Gregor Kiczales <[email protected]>
updated: 1992/12/14
language: Scheme
package: VSCM
version: V0r3
parts: runtime, bytecode compiler, bytecode interpreter
author: Matthias Blume <[email protected]>
location: ftp://ftp.cs.indiana.edu/pub/scheme-repository/imp/vscm*.tar.gz
Germany: ftp://faui80.informatik.uni-erlangen.de/pub/scheme/yorku/imp/vscm*
UK: ftp://unix.hensa.ac.uk/pub/uunet/languages/lisp/scheme/repository/imp/vscm*
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 <[email protected]>, 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.9b
parts: interpreter, compiler(->ANSI C), runtime
author: Manuel Serrano <[email protected]>
location: ftp://ftp.inria.fr/INRIA/Projects/icsla/Implementations/bigl*
http://cuiwww.unige.ch/~serrano/bigloo.html
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: 1997/06/24
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: [email protected]
updated: ?
language: C++/Scheme
package: Header2Scheme
version: 1.1
parts: Includes a modified Scheme (libscheme?) which is used
to manipulate C++ objects described by ANSI
C++-Compliant header files
author: Kenneth B Russell: [email protected]
location: http://www-white.media.mit.edu/~kbrussel/Header2Scheme/
description: Header2Scheme is an automatic C++ to Scheme (SCM) foreign
function interface generator. It is a tool for
creating a simple, consistent Scheme interface to a
large number of C++ classes.
Header2Scheme works by traversing a directory tree
containing header files for a C++ class library and
creates code which implements a backend for a Scheme
interface to the public interfaces of the described
classes. It has been successfully used to generate
Ivy, a Scheme interface to the Open Inventor 3D
graphics toolkit.
updated: 1995/11/15
language: Scheme
iref: (Scheme) Tim Budd's C++ implementation of Kamin's interpreters
language: Scheme
iref: (Proxy) Proxy
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: C, nroff, texinfo, latex, html, autodoc
package: c2man
version: 2.0 patchlevel 41
parts: documentation generator (C -> nroff -man, -> texinfo, -> latex,
-> html, -> autodoc)
author: Graham Stoney <[email protected]>
location: ftp source and patches from any comp.sources.misc archive.
(the version in the comp.sources.reviewed archive is obsolete)
package: ftp://ftp.research.canon.com.au/pub/misc/c2man/c2man.tar.gz
patches: ftp://ftp.research.canon.com.au/pub/misc/c2man/patches/
description: c2man is an automatic documentation tool that extracts comments
from C source code to generate functional interface
documentation in the same format as sections 2 & 3 of the Unix
Programmer's Manual. It requires minimal effort from the
programmer by looking for comments in the usual places near the
objects they document, rather than imposing a rigid
function-comment syntax or requiring that the programmer learn
and use a typesetting language. Acceptable documentation can
often be generated from existing code with no modifications.
conformance: supports both K&R and ISO/ANSI C coding styles
features: + generates output in nroff -man, TeXinfo, LaTeX or HTML format
+ handles comments as part of the language grammar
+ automagically documents enum parameter & return values
+ handles C (/* */) and C++ (//) style comments
- doesn't handle C++ grammar
requires: yacc/byacc/bison, lex/flex, and nroff/groff/texinfo/LaTeX.
ports: Unix, OS/2, MSDOS, VMS, Amiga.
portability: very high for unix, via Configure
status: user-supported; contributions by users are encouraged.
discussion: c2man mailing list: send "subscribe c2man" (in the message
body) to [email protected]
help: from the author and other users on the mailing list:
[email protected]
announcements: patches appear first in comp.sources.bugs, and then in
comp.sources.misc.
updated: 1996/10/17
language: HP-GL, Postscript
package: hp2ps
version: 1.9b
parts: interpreter
author: Alun Jones <[email protected]>
location: ftp://ftp.wftpd.com/hp2ps19b.zip
description: hp2ps is an HP-GL interpreter that is written in Postscript.
It runs mostly on the printer itself. There is a small C program,
provided mainly to circumvent Postscript's problems with the
^C character, which is a prominent part of HPGL's text support.
The C program is not necessary if the HP-GL does not contain text,
or uses a different label terminator.
Version 1.9c appears lost - anyone who has a copy,
please send it to the author.
restriction: hp2ps is free for most use - distribution with commercial
products, or use in a commercial setting requires agreement with
the author, and possible licencing fees.
updated: 1993/10
language: Lout
package: Lout
version: 3.06
parts: translator(Lout->Postscript), documentation
author: Jeffrey H. Kingston <[email protected]>
location: ftp://ftp.cs.su.oz.au/jeff/lout/
ftp://ftp.sunet.se/pub/text-processing/lout/lout/
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: 3.3
parts: interpreter, ?
author: L. Peter Deutsch <[email protected]>
location: ftp pub/GNU/ghostscript* from a GNU archive site
ftp://ftp.cs.wisc.edu:/pub/X/ghostscript*3.3*
description: A postscript interpreter with previewers for serval
systems and many fonts.
updated: 1996/05/29
language: Tps (Tiny/Transportable Postscript)
package: Tps
version: 2.1
parts: interpreter, documentation.
author: Dennis Heimbigner <[email protected]>
location: ftp://ftp.cs.colorado.edu/pub/cs/distribs/arcadia/tps.tar.Z
description: Embedded, Transportable, Agent Language based on Postscript.
conformance: N.A.
features: + Safety.
+ State Accessibility.
+ Multiple Interpreters.
+ Extensible types.
+ Extensible execution stack frames.
bugs: Send bug reports to author.
requires: c++ compiler.
ports: Variety of Unix platforms: Solaris(1,2), IRIX, HPUX, OSF1.
status: active, supported.
help: from author.
support: from author.
announcements: comp.lang.misc
updated: ?
cref: distributed
cref: embeddable
cref: scripting languages
cref: Forth family languages
lref: Postscript
language: Postscript, Common Lisp
package: PLisp
version: ?
parts: translator(Postscript), programming environment(Postscript)
author: John Peterson <[email protected]>
location: ?
description: ?
updated: ?
language: SGML (Standardized Generalized Markup Language)
package: sgmls
version: 1.1
parts: parser
author: James Clark <[email protected]> and Charles Goldfarb
location: ftp://ftp.uu.net/pub/text-processing/sgml/sgmls-1.0.tar.Z
UK: ftp://ftp.jclark.com/sgmls/sgmls-1.1.tar.Z
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 <[email protected]>
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 <[email protected]>
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://ftp.cwi.nl/pub/cweb/?
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: [email protected]
updated: 1993/12/16
language: Web
package: web2c
version: 5-851d
parts: translator(C)
author: ?
location: ftp://ics.uci.edu/TeX/web2c.tar.Z
Europe: ftp://ftp.th-darmstadt.de/pub/tex/src/web2c/web2c.tar.Z
description:
contact: Karl Berry <[email protected]>
updated: 1993/02/22
language: Web
package: Web
version: ?
parts: translator(Pascal)
author: Donald Knuth
location: ftp://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 <[email protected]>
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://ftp.gmd.de/gmd/ai-research/Software/Babylon/*
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: [email protected]
updated: 1994/06/22
language: Goedel
package: Goedel
version: 1.4
parts: book, compiler, user manual, system modules, example programs
author: Jiwei Wang <[email protected]>
location: ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel/README
ftp://ftp.cs.bris.ac.uk/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: [email protected]
updated: 1994/05/16
language: Mercury
package: Mercury
version: 0.7.3
parts: compiler(->C), library, run-time, profiler, documentation,
GUI interface (tcl/tk + openGL), examples
author: [email protected] (The Mercury Team)
location:
Australia: ftp://turiel.cs.mu.oz.au/pub/mercury
USA: ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury
Europe: ftp://ftp.csd.uu.se/pub/Mercury
reference: see <http://www.cs.mu.oz.au/mercury>
description: Mercury is a new logic/functional programming language,
which combines the clarity and expressiveness of
declarative programming with advanced static analysis
and error detection features. Its highly optimized
execution algorithm delivers efficiency far in excess of
existing logic programming systems, and close to
conventional programming systems. Mercury addresses the
problems of large-scale program development, allowing
modularity, separate compilation, and numerous
optimization/time trade-offs.
The home Mercury ftp site, turiel.cs.mu.oz.au, contains
/pub/mercury/mercury-0.7.3-extras.tar.gz which includes
interfaces to OpenGL libraries, Tcl/Tk, a CGI library, an ODBC
interface, and a few other goodies. We provide this archive
separately because not all of the extras are under the GPL.
features: + no non-logical side-effects (even I/O is purely declarative)
+ strong polymorphic types
+ strong modes
+ determinism system
+ module system
+ supports higher-order programming
+ very efficient
bugs: <[email protected]>
restriction: GNU Public Licence (GPL plus LGPL)
requires: GNU C 2.6.3 or higher and GNU Make 3.69 or higher
ports: IRIX 5, Solaris, Alpha/OSF, Linux, Ultrix, BSD, Windows 95/NT
portability: should port to any POSIX-like system without too much trouble
status: undergoing active development
discussion: mailing list <[email protected]>,
comp.lang.prolog and/or comp.lang.misc
support: <[email protected]>
announcements: mailing list <[email protected]>
contact: <[email protected]>
updated: 11/1997
language: Isabelle
package: Issabelle-93
version: ?
parts: ?
author: Written by Lawrence C Paulson and Tobias Nipkow?
location: ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5*
description: Isabelle is a generic theorem prover. New logics are
introduced by specifying their syntax and rules of inference.
Proof procedures can be expressed using tactics and tacticals.
The latest version, Isabelle-93, is significantly faster than
Isabelle-92 and has several other improvements.
requires: ?
contact: [email protected]
[email protected]?
updated: 1993/12/20
language: Janus
package: qdjanus
version: 1.3
parts: translator(prolog)
author: Saumya Debray <[email protected]>
location: ftp://cs.arizona.edu/janus/qdjanus/*
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 <[email protected]>
location: ftp://cs.arizona.edu/janus/jc/*
description: jc is a janus-to-C compiler (considerably faster than qdjanus).
jc is a _sequential_ implementation of a _concurrent_ language.
bugs: [email protected]
ports: sun-4, sun-3, Sequent Symmetry
status: jc is an experimental system, undergoing rapid development.
It is in alpha release currently.
discussion: [email protected]
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://gatekeeper.dec.com/pub/plan/Life.tar.Z
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: [email protected]
ports: MIPS-Ultrix
portability: good in theory
discussion: [email protected]
contact: Peter Van Roy <[email protected]>
updated: 1992/12/14
language: Lolli (logic programming)
package: Lolli
version: ?
parts: ?
author: ? Josh Hodas <[email protected]> ?
location: ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-07.tar.Z.
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://nuri.inria.fr/lang/Parlog.tar.Z
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://sbcs.sunysb.edu/pub/sbprolog
description: ?
restriction: GNU General Public License
contact: ? [email protected] ?
updated: ?
language: Prolog
package: XSB
version: 1.2
parts: interpreter, preprocessor(HiLog), documentation
author: XSB research group / SUNY at Stony Brook
location: ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z
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: [email protected]
updated: 1993/07/28
language: Prolog
package: Modular SB-Prolog
version: ?
parts: interpreter
author: ?
location: ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z
description: SB-Prolog version 3.1 plus modules
restriction: GNU General Public License
ports: Sparc
contact: Brian Paxton <[email protected]>
updated: ?
language: ALF [prolog variant]
package: alf (Algebraic Logic Functional programming language)
version: ?
parts: runtime, compiler(Warren Abstract Machine)
author: Rudolf Opalla <[email protected]>
location: ftp://ftp.germany.eu.netpub/programming/languages/LogicFunctional
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 <[email protected]>
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 <[email protected]>, Joxan Jaffar
updated: 1992/10/14
language: Prolog + constraints over Finite Domains and Booleans
package: clp(FD)
version: 2.2
parts: compiler clp(FD)->C, FD solver, runtime, debugger.
author: Daniel Diaz - INRIA Rocquencourt - FRANCE
location: ftp://ftp.inria.fr/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 which translates Prolog to C.
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, PC under linux, sony mews, dec ultrix
portability: Generally to 32-bit machines with gcc.
contact: Daniel Diaz ([email protected])
updated: 1994/08/01
language: Prolog
package: wamcc
version: 2.2
parts: compiler Prolog->C, runtime, Prolog debugger, WAM debugger.
author: Daniel Diaz - INRIA Rocquencourt - FRANCE
location: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc
description: wamcc is a Prolog Compiler which translates Prolog to
C via the WAM. wamcc has a syntax very close to the
future ansi standard. wamcc offers the most usual
built-in predicates, 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, PC under linux, sony mews, dec ultrix
portability: Generally to 32-bit machines with gcc.
contact: Daniel Diaz ([email protected])
updated: 1994/08/01
language: Prolog (variant)
package: Aditi
version: Beta Release
parts: interpreter, database
author: Machine Intelligence Project, Univ. of Melbourne, Australia
location: send email to [email protected]
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: <[email protected]>
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 <[email protected]>
location: ftp://ftp.irisa.fr/pm/*
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: [email protected]
contact: [email protected]
updated: 1992/07/06
language: Prolog (variant)
package: CORAL
version: ?
parts: interpreter, interface(C++), documentation
author: ?
location: ftp://ftp.cs.wisc.edu from ?
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://clement.info.umoncton.ca/BinProlog/*
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 <[email protected]>
updated: 1993/04/03
language: Prolog
package: SWI-Prolog
version: 1.7.2
parts: ?
author: Jan Wielemaker <[email protected]>
location: ftp://swi.psy.uva.nl/pub/SWI-Prolog
OS/2: ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/*
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: [email protected]
contact: (OS/2) Andreas Toenne <[email protected]>
updated: 1993/07/23
language: Prolog
package: Beta-Prolog
version: 1.5
parts: interpreter(?), libraries, debugger
author: Neng-Fa Zhou <[email protected]>
form "Real Name <email@address>". Surface mail addresses
are not used unless there is no email address.
location: ftp://ftp.kyutech.ac.jp/pub/Language/prolog/*
description: ?
conformance: Incorporates most built-in predicates in ISO-Prolog.
updated: 1995/04/05
language: Prolog
package: Frolic
version: ?
parts: ?
author: ?
location: ftp://cs.utah.edu/pub/frolic.tar.Z
description: ?
requires: Common Lisp
contact: ?
updated: 1991/11/23
language: Prolog
package: ? Prolog package from the University of Calgary ?
version: ?
parts: ?
author: ?
location: ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z
description: + delayed goals
+ interval arithmetic
requires: Scheme
portability: relies on continuations
contact: ?
updated: ?
language: Prolog
package: ? slog ?
version: ?
parts: translator(Prolog->Scheme)
author: [email protected]
location: ftp://titan.rice.edu/public/slog.sh
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://sics.se/archives/lm-prolog.tar.Z
description: ?
requires: ZetaLisp
contact: ?
updated: ?
language: Prolog
package: Open Prolog
version: 1.0.3d22
parts: interpreter, examples
author: Michael Brady <[email protected]>
location: ftp://ftp.cs.tcd.ie/pub/languages/open-prolog/*
description: Text-oriented Prolog system for the Macintosh (Edimburgh
syntax), with a MPW-like worksheet as the main user
interface.
features: + supports most the features of DEC Prolog or C-Prolog
including Definite Clause Grammars
+ support disjunctive calls, negation, if-then and
if-then-else according to the draft ISO Prolog standard
+ supports program-originated catch-and-throw exception
handling conforming to the ISO Draft
- Real-number arithmetic and internal database predicates
are not supported.
+ built-in predicates to manage Macintosh dialogs
ports: Macintosh
contributions: send a postcard
contact: Michael Brady <[email protected]>
updated: 1995/06/19
language: Prolog
package: UPMAIL Tricia Prolog
version: ?
parts: ?
author: ?
location: ftp://ftp.csd.uu.se/pub/Tricia/README
description: ?
contact: <[email protected]>
updated: ?
language: Prolog
package: ?; ? (two systems)
version: ?; ?
parts: ?; ?
author: ?
location: ftp://aisun1.ai.uga.edu/ai.prolog/Contents
description: ?; ?
ports: MSDOS, Macintosh; MSDOS
contact: Michael Covington <[email protected]>
updated: ?; ?
language: Prolog
package: XWIP (X Window Interface for Prolog)
version: 0.6
parts: library
author: ?
location: ftp://export.lcs.mit.edu/contrib/xwip-0.6.tar.Z
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: [email protected]
updated: 1993/02/25
language: Prolog
package: PI
version: ?
parts: library
author: ?
location: ftp://ftp.ncc.up.pt/pub/prolog/ytoolkit.tar.Z
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 <[email protected]>
updated: 1993/03/02
language: Prolog
package: ISO draft standard
version: ? (What year??)
parts: language definition
author: ?
location: ftp://ftp.th-darmstadt.de ?
description: ?
updated: 1992/07/06
language: Prolog
iref: (Prolog) 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://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5*
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 <[email protected]> ?
updated: 1992/10/17
--
Send compilers articles to [email protected], meta-mail to
[email protected]. Archives at http://www.iecc.com/compilers
|
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |