Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z - Internet FAQ Archives

Catalog of compilers, interpreters, and other language tools [p3of5]

( Part1 - Part2 - Part3 - Part4 - Part5 )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Sex offenders ]
Archive-name: compilers/free/part3
Last-modified: $version_D
Version: $version_V

See reader questions & answers on this topic! - Help others by sharing your knowledge
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 <>, Jim Miller
		<>, Ron Weiss <>
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 <>
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
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 <chiles@CS.CMU.EDU>
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 <>
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:		?
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
		+ 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
updated:	1993/11/18

language:	Common Lisp
package:	PCL (Portable Common Loops)
version:	8/28/92 PCL
parts:		library
author:		? Richard Harris <> ?
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>
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:	<>
contact:	<>
updated:	1992/10/28

language:	Common Lisp
package:	KCL (Kyoto Common Lisp)
version:	?
parts:		compiler(->C), interpreter
author:		T. Yuasa <>, M. Hagiya
location:	?*.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.
restriction:	must sign license agreement
updated:	1987/06

language:	Common Lisp
package:	AKCL (Austin Kyoto Common Lisp)
version:	1-615
parts:		improvements
author:		Bill Schelter <>, <>
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:		?
description:	Common Lisp binding for X
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 <>,
		Michael Stoll <>
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
contact:	Bruno Haible <>
updated:	1994/07/12

language:	Common Lisp
package:	Cartier's Contribs
version:	1.2
parts:		libraries, documentation
author:		Guillaume Cartier <>
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 <> 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 <>
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:		?
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
ports:		Franz Allegro, Lucid, CMU CL and Symbolics Genera
updated:	?

language:	Common Lisp
package:	CLiCC
version:	0.6.4
parts:		compiler(->C), runtime library
author:		Heinz Knutzen <>,
		Ulrich Hoffman <>,
		Wolfgang Goerigk <>
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
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 <>
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 <>
		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 <>
    US Mail:	contact Tom Almy <>
    Macintosh:	 (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:		?
description:	Franz Lisp is a dialect of Lisp that predates Common Lisp.
		It is very similar to MacLisp. It lacks full lexical scoping.
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
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:	<>
help:		<>
contact:	<>
updated:	1995/12/08

language:	elisp (Emacs Lisp)
package:	ILISP
version:	5.0
parts:		Emacs interface
author:		?? Ivan Vazquez <>
description:	ILISP provides a somewhat lisp-machine like interface to lisp
		listeners from Emacs.
bugs: (or
support:	Mailing list requests/deletions to
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
ports:		Unix, VMS, ?
discussion:	alt.religion.emacs, gnu.emacs.sources
announcements:	gnu.emacs.announce
updated:	1995/11/29

language:	elisp (Emacs Lisp)
package:	Lucid Emacs (lemacs)
version:	19.10
parts:		? interpreter
location:	ftp://LUCID.COM/pub/lemacs/*
description:	A version of Emacs based on Emacs 19.
		Mirrored at other sites including:
bugs:		alt.lucid-emacs.bug,
updated:	1994/06/01

language:	? Lisp, X
package:	winterp
version:	2.03
parts:		interpreter, documentation, examples
author:		Niels P. Mayer <> or <>
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.
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 <>
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
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:	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 <bh@anarres.CS.Berkeley.EDU>
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 <>
		Source may require emailing George Mills.
description:	A windows front-end for Berkeley Logo
bugs:		George Mills <>
ports:		MS Windows 3.x
status:		activly developed
updated:	1995/12/20

language:	Scheme
package:	Schematik
parts:		programming environment
author:		Chris Kane, Max Hailperin <>
    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
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.
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
ports:		Decstation, Sparc, Iris. Old m68k version.
contact:	David Andrew Kranz <>
updated:	1991/11/26

language:	Scheme
package:	scm
version:	4e1
parts:		interpreter, conformance test, documentation
author:		Aubrey Jaffer <>
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 <>
location:	in*.tar.gz*.tar.gz
description:	SLIB is a portable scheme library meant to provide
		compatibiliy and utility functions for all standard scheme
ports:		Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C,
		Scheme48, T3.1.
status:		actively developed
contact:	Aubrey Jaffer <>
updated:	1993/10/09

language:	Scheme
package:	Hobbit
version:	release 4b
parts:		compiler(->C), documentation
author:		Tanel Tammet <>
		It is more convenient to ftp the stuff, read the paper and
		more by using the WWW URL -
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:	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 <>
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
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)
		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
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
		(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
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
		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 <>
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
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
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
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
updated:	1994/01/11

language:	Scheme
package:	Gambit Scheme System
version:	2.0
parts:		interpreter, compiler, linker, libraries
author:		Marc Feeley <>
description:	Gambit is an optimizing Scheme compiler/system.	 The
		Macintosh port can run with Toolbox and has a built-in
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 <>
		and David Albertz
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	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:	<>
bugs:		<>
contact:	<>
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 <>
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 <>
location: 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:		?
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 <> ?
updated:	1993/03/10

language:	Scheme
package:	XScheme
version:	0.28
parts:		?
author:		David Betz <>
description:	?
discussion:	comp.lang.lisp.x
contact:	?
updated:	1992/02/02

language:	Scheme
package:	Fools' Lisp
version:	1.3.2
parts:		?
author:		Jonathan Lee <>
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:		?
description:	?
contact:	?
updated:	?

language:	Scheme
package:	UMB Scheme
version:	?
parts:		?, editor, debugger
author:		William Campbell <>
description:	?
conformance:	R4RS Scheme
ports:		?
updated:	?

language:	Scheme
package:	PseudoScheme
version:	2.8
parts:		translator(Common Lisp)
author:		Jonathan Rees <>
location:	?
description:	?
conformance:	R3RS except call/cc.
requires:	Common Lisp
ports:		Lucid, Symbolics CL, VAX Lisp, Explorer CL
updated:	?

language:	Scheme
package:	SOS (Scheme Object System)
version:	?
parts:		?
author:		Chris Hanson ?
description:	?
updated:	?

language:	Scheme
package:	Similix
version:	5.0
parts:		partial evaulator, debugger
author:		Anders Bondorf <>
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 <>
updated:	1993/05/18

language:	Scheme
package:	syntax-case
version:	2.1
parts:		macro system, documentation
author:		R. Kent Dybvig <>
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 <>
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
description:	?
updated:	?

language:	Prolog
package:	Amzi! Logic Explorer
version:	3.3
parts:		interpreter
author:		Amzi! inc.
description:	Full tutorial and interpreted development environment
restriction:	shareware for non-personal use
ports:		Windows
contact:	Amzi! inc.
updated:	1996/06/01

language:	Scheme
package:	Psd (Portable Scheme Debugger)
version:	1.1
parts:		debugger
author:		Kellom{ki Pertti <>
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:		?
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
contact:	Gregor Kiczales <>
updated:	1992/12/14

language:	Scheme
package:	VSCM
version:	V0r3
parts:		runtime, bytecode compiler, bytecode interpreter
author:		Matthias Blume <>
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
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 <>, 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 <>
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
description:	?
requires:	VAX, Franz Lisp, VMS or BSD
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:
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 <>
location:	ftp source and patches from any comp.sources.misc archive.
		(the version in the comp.sources.reviewed archive is obsolete)
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
help:		from the author and other users on the mailing list:
announcements:	patches appear first in comp.sources.bugs, and then in
updated:	1996/10/17

language:	HP-GL, Postscript
package:	hp2ps
version:	1.9b
parts:		interpreter
author:		Alun Jones <>
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 <>
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 <>
location:	ftp pub/GNU/ghostscript* from a GNU archive site*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 <>
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 <>
location:	?
description:	?
updated:	?

language:	SGML (Standardized Generalized Markup Language)
package:	sgmls
version:	1.1
parts:		parser
author:		James Clark <> and Charles Goldfarb
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 <>
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 <>
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
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
updated:	1993/12/16

language:	Web
package:	web2c
version:	5-851d
parts:		translator(C)
author:		?
contact:	Karl Berry <>
updated:	1993/02/22

language:	Web
package:	Web
version:	?
parts:		translator(Pascal)
author:		Donald Knuth
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 <>
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
		   or in WWW from
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.
updated:	1994/06/22

language:	Goedel
package:	Goedel
version:	1.4
parts:		book, compiler, user manual, system modules, example programs
author:		Jiwei Wang <>
		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
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: (The Mercury Team)
reference:	see <>
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,, 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:		<>
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 <>,
		comp.lang.prolog and/or comp.lang.misc
support:	<>
announcements:	mailing list <>
contact:	<>
updated:	11/1997

language:	Isabelle
package:	Issabelle-93
version:	?
parts:		?
author:		Written by Lawrence C Paulson and Tobias Nipkow?
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:	?
updated:	1993/12/20

language:	Janus
package:	qdjanus
version:	1.3
parts:		translator(prolog)
author:		Saumya Debray <>
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 <>
description:	jc is a janus-to-C compiler (considerably faster than qdjanus).
		jc is a _sequential_ implementation of a _concurrent_ language.
ports:		sun-4, sun-3, Sequent Symmetry
status:		jc is an experimental system, undergoing rapid development.
		It is in alpha release currently.
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.
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.
ports:		MIPS-Ultrix
portability:	good in theory
contact:	Peter Van Roy <>
updated:	1992/12/14

language:	Lolli (logic programming)
package:	Lolli
version:	?
parts:		?
author:		? Josh Hodas <> ?
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:	?
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
description:	?
restriction:	GNU General Public License
contact:	? ?
updated:	?

language:	Prolog
package:	XSB
version:	1.2
parts:		interpreter, preprocessor(HiLog), documentation
author:		XSB research group / SUNY at Stony Brook
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.
updated:	1993/07/28

language:	Prolog
package:	Modular SB-Prolog
version:	?
parts:		interpreter
author:		?
description:	SB-Prolog version 3.1 plus modules
restriction:	GNU General Public License
ports:		Sparc
contact:	Brian Paxton <>
updated:	?

language:	ALF [prolog variant]
package:	alf (Algebraic Logic Functional programming language)
version:	?
parts:		runtime, compiler(Warren Abstract Machine)
author:		Rudolf Opalla <>
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 <>
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 <>, 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
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 (
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
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 (
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
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:	<>
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 <>
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
ports:		unix
updated:	1992/07/06

language:	Prolog (variant)
package:	CORAL
version:	?
parts:		interpreter, interface(C++), documentation
author:		?
location: 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:		?
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 <>
updated:	1993/04/03

language:	Prolog
package:	SWI-Prolog
version:	1.7.2
parts:		?
author:		Jan Wielemaker <>
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
contact:	(OS/2) Andreas Toenne <>
updated:	1993/07/23

language:	Prolog
package:	Beta-Prolog
version:	1.5
parts:		interpreter(?), libraries, debugger
author:		Neng-Fa Zhou <>
		form "Real Name <email@address>".  Surface mail addresses
		are not used unless there is no email address.
description:	?
conformance:	Incorporates most built-in predicates in ISO-Prolog.
updated:	1995/04/05

language:	Prolog
package:	Frolic
version:	?
parts:		?
author:		?
description:	?
requires:	Common Lisp
contact:	?
updated:	1991/11/23

language:	Prolog
package:	? Prolog package from the University of Calgary ?
version:	?
parts:		?
author:		?
description:	+ delayed goals
		+ interval arithmetic
requires:	Scheme
portability:	relies on continuations
contact:	?
updated:	?

language:	Prolog
package:	? slog ?
version:	?
parts:		translator(Prolog->Scheme)
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
description:	?
requires:	ZetaLisp
contact:	?
updated:	?

language:	Prolog
package:	Open Prolog
version:	1.0.3d22
parts:		interpreter, examples
author:		Michael Brady <>
description:	Text-oriented Prolog system for the Macintosh (Edimburgh
		syntax), with a MPW-like worksheet as the main user
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 <>
updated:	1995/06/19

language:	Prolog
package:	UPMAIL Tricia Prolog
version:	?
parts:		?
author:		?
description:	?
contact:	<>
updated:	?

language:	Prolog
package:	?; ? (two systems)
version:	?; ?
parts:		?; ?
author:		?
description:	?; ?
ports:		MSDOS, Macintosh; MSDOS
contact:	Michael Covington <>
updated:	?; ?

language:	Prolog
package:	XWIP (X Window Interface for Prolog)
version:	0.6
parts:		library
author:		?
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.
updated:	1993/02/25

language:	Prolog
package:	PI
version:	?
parts:		library
author:		?
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
contact:	Ze' Paulo Leal <>
updated:	1993/03/02

language:	Prolog
package:	ISO draft standard
version:	? (What year??)
parts:		language definition
author:		?
location: ?
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.
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
		There is a commercial version available called OPS83.
		Please contact the author for information.
requires:	Common Lisp
contact:	? Mark Kantrowitz <> ?
updated:	1992/10/17

Send compilers articles to, meta-mail to  Archives at

User Contributions:

the simplest way scheming housewives will most likely handle moreso than men while tackling threats

Volunteers expressed choosing component in without any help or becoming a member of aids combined with much more two enemies.

In the next capability, make use of them skip event, but also separation overhead three expedited new us passport. through the game, several of the best volunteers they were met with the potential for social exemption.

in cases where cut-throat by himself, Volunteers were advised it functioned the chance of being excluded because two other folks.

any time linking stresses that have one attacker, The volunteers [url=]LATAMDATE[/url] informed that after they managed to succeed with the third player would include ruled out not to mention wouldn't most information.

outcome revealed that when volunteers played the [url=]latamDate[/url] game creating a much healthier risk of social different it had no difference between most people in how frequent they start to decide to form an alliance with another player.

bear in mind, governed motion different consideration was adopted, female students made a decision to join forces by means of one opponent so banish any third player more often than had male volunteers.

'Women of all ages may a little more troubled to be able to to help exclusion social, And when they feel threatened by [url=]latamDate Scam[/url] the candidate of being left out, a ladies first comeback are usually on the way to socially leave out a third event.

Comment about this article, ask questions, or add new information about this topic:

Part1 - Part2 - Part3 - Part4 - Part5

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer: (David Muir Sharnoff)

Last Update March 27 2014 @ 02:11 PM