Meeting Pearls 1

home *** CD-ROM | disk | FTP | other *** search

/ Meeting Pearls 1 / Meeting Pearls Vol 1 (1994).iso / installed_progs / text / faqs / free-compilers.part3 < prev next >

Wrap

Internet Message Format | 1994-05-02 | 58.8 KB

Subject: Catalog of compilers, interpreters, and other language tools [p3of5] Newsgroups: comp.compilers,comp.lang.misc,comp.archives.admin,news.answers,comp.answers From: free-compilers@idiom.berkeley.ca.us (Steve Robenalt) Date: Sun, 1 May 1994 11:00:31 GMT Archive-name: free-compilers/part3 Last-modified: 1994/4/29 Version: 6.5 lisp family ------------------------------------------------------------------------------- category: lisp family description: [The programming languages for those who like parenthesis --ed] language: Dylan package: Thomas version: 1.1 parts: translator(Scheme) author: Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com> how to get: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com ftp pub/dylan/Thomas from cambridge.apple.com description: Thomas, a compiler written at Digital Equipment Corporation's Cambridge Research Laboratory compiles a language compatible with the language described in the book "Dylan(TM) an object-oriented dynamic language" by Apple Computer Eastern Research and Technology, April 1992. It does not perform well. Thomas is NOT Dylan(TM). requires: Scheme ports: MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambit, Mac, PC, Vax, MIPS, Alpha, 680x0 updated: 1994/04/18 language: Dylan package: Marlais version: 0.3 parts: interpreter author: Brent Benson <brent@ssd.csd.harris.com> how to get: ftp pub/marlais-0.2a.tar.gz from travis.csd.harris.com ftp pub/dylan/Marlais/marlais-0.3.tar.gz from cambridge.apple.com description: Marlais is a simple-minded interpreter for a programming language strongly resembling Dylan [1]. It is not intended as a final release, but rather to fill a perceived void where Dylan implementations are concerned. This is a "hackers release" and is intended as a vehicle for education, experimentation and also to encourage people to port it to different architectures, add features, and fix bugs. Marlais is alpha software and should not be used by people desiring reliability!!! ports: Sun-3, Sun-4, VAX/BSD, OS/2, Linux, Sequent Symmetry, Encore, HP-UX, Ultrix, SGI, Sony News, A/UX updated: 1994/04/18 language: EuLisp package: Feel (Free and Eventually Eulisp) version: 0.75 parts: interpreter, documentation author: Pete Broadbery <pab@maths.bath.ac.uk> how to get: ftp pub/eulisp from ftp.bath.ac.uk description: + integrated object system + a module system + parallelism + interfaces to PVM library, tcp/ip sockets, futures, Linda, and CSP. ports: most unix portability: high, but can use shared memory and threads if available updated: 1992/09/14 language: Common Lisp package: CMU Common Lisp version: 17c parts: incremental compiler, profiler, runtime, documentation, editor, debugger author: ? how to get: ftp pub/* from from lisp-sun1.slisp.cs.cmu.edu. description: CMU Common Lisp is public domain "industrial strength" Common Lisp programming environment. Many of the X3j13 changes have been incorporated into CMU CL. Wherever possible, this has been done so as to transparently allow use of either CLtL1 or proposed ANSI CL. Probably the new features most interesting to users are SETF functions, LOOP and the WITH- COMPILATION-UNIT macro. + The new CMU CL compiler (Python) is more sophisticated thatn other Common Lisp compilers. It produces better code and is easier to use. + The programming environment based on the Hemlock editor is better integrated than gnu-emacs based environments. conformance: mostly X3J13 compatible. ports: Sparc/Mach Sparc/SunOS Mips/Mach IBMRT/Mach contact: slisp@cs.cmu.edu updated: 1993/11/18 language: Common Lisp package: PCL (Portable Common Loops) version: 8/28/92 PCL parts: library author: ? Richard Harris <rharris@ptolemy2.rdrc.rpi.edu> ? how to get: ftp pcl/* from parcftp.xerox.com description: A portable CLOS implementation. CLOS is the object oriented programming standard for Common Lisp. Based on Symbolics FLAVORS and Xerox LOOPS, among others. Loops stands for Lisp Object Oriented Programming System. ports: Lucid CL 4.0.1, CMUCL 16e, ? status: ? updated: 1992/09/02 language: Common Lisp package: WCL version: 2.14 parts: ?, shared library runtime, source debugger author: Wade Hennessey <wade@leland.Stanford.EDU> how to get: ftp pub/wcl/* from sunrise.stanford.edu description: A common lisp implementation as a shared library. WCL Is not a 100% complete Common Lisp, but it does have the full development environment including dynamic file loading and debugging. A modified version of GDB provides mixed-language debugging. A paper describing WCL was published in the proceedings of the 1992 Lisp and Functional Programming Conference. requires: GNU C 2.1 (not 2.2.2) ports: Sparc/SunOS discussion: <wcl-request@sunrise.stanford.edu> contact: <wcl@sunrise.stanford.edu> updated: 1992/10/28 language: Common Lisp package: KCL (Kyoto Common Lisp) version: ? parts: compiler(->C), interpreter author: T. Yuasa <yuasa@tutics.tut.ac.jp>, M. Hagiya <hagiya@is.s.u-tokyo.ac.jp> how to get: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ? description: KCL, Kyoto Common Lisp, is an implementation of Lisp, It is written in the language C to run under Un*x-like operating systems. KCL is very C-oriented; for example, the compilation of Lisp functions in KCL involves a subsidiary C compilation. conformance: conforms to the book ``Common Lisp: The Language,'' G. Steele, et al., Digital Press, 1984. bugs: kcl@cli.com restriction: must sign license agreement discussion: kcl-request@cli.com updated: 1987/06 language: Common Lisp package: AKCL (Austin Kyoto Common Lisp) version: 1-615 parts: improvements author: Bill Schelter <wfs@cli.com>, <wfs@rascal.ics.utexas.edu> how to get: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu description: AKCL is a collection of ports, bug fixes, and performance improvements to KCL. ports: Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix, VAX/bsd VAX/ultrix NeXT updated: 1992/04/29 language: Common Lisp package: CLX version: 5.01 parts: library author: ? how to get: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu description: Common Lisp binding for X bugs: bug-clx@expo.lcs.mit.edu ports: ?, CMU Common Lisp contact: ? updated: 1992/08/26 language: Common Lisp package: CLISP version: 1993/10/06 parts: interpreter, bytecode compiler, runtime library, editor author: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>, Michael Stoll <michael@rhein.iam.uni-bonn.de> how to get: ftp /pub/lisp/clisp from ma2s2.mathematik.uni-karlsruhe.de description: CLISP is a Common Lisp (CLtL1) implementation by Bruno Haible of Karlsruhe University and Michael Stoll of Munich University, both in Germany. It needs only 1.5 MB of RAM. German and English versions are available, French coming soon. Packages running in CLISP include PCL and, on Unix machines, CLX. A native subset of CLOS is included. conformance: CLtL1 + parts of CLtL2 restriction: GNU General Public License ports: Atari, Amiga, MS-DOS, OS/2, Linux, Sun4, Sun386i, HP90000/800 and others discussion: send "subscribe clisp-list" to listserv@ma2s2.mathematik.uni-karlsruhe.de contact: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de> updated: 1993/10/06 language: Common Lisp package: Cartier's Contribs version: 1.2 parts: libraries, documentation author: Guillaume Cartier <cartier@math.uqam.ca> how to get: ftp pub/mcl2/contrib/Cartiers* from cambridge.apple.com description: libraries for MCL requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: QT-OBJECTS version: ? parts: library author: Michael Travers <mt@media.mit.edu> and others how to get: ? description: interface between MCL and QuickTime requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: Memoization ? version: ? parts: library author: Marty Hall <hall@aplcenmp.apl.jhu.edu> how to get: ftp pub/Memoization from archive.cs.umbc.edu description: Automatic memoization is a technique by which an existing function can be transformed into one that "remembers" previous arguments and their associated results updated: 1992/11/30 language: Common Lisp package: GINA (Generic Interactive Application) version: 2.2 parts: language binding, class library, interface builder author: ? how to get: ftp /gmd/gina from ftp.gmd.de N.America: ftp contrib/? from export.lcs.mit.edu description: GINA is an application framework based on Common Lisp and OSF/Motif to simplify the construction of graphical interactive applications. It consists of: + CLM, a language binding for OSF/Motif in Common Lisp. + the GINA application framework, a class library in CLOS + the GINA interface builder, an interactive tool implemented with GINA to design Motif windows. requires: OSF/Motif 1.1 or better. Common Lisp with CLX, CLOS, PCL and processes. ports: Franz Allegro, Lucid, CMU CL and Symbolics Genera discussion: gina-users-request@gmdzi.gmd.de updated: ? language: Common Lisp package: CLiCC version: 0.6.2 parts: compiler(->C), runtime library author: Heinz Knutzen <hk@informatik.uni-kiel.de>, Ulrich Hoffman <uho@informatik.uni-kiel.de>, Wolfgang Goerigk <wg@informatik.uni-kiel.de> how to get: ftp pub/kiel/apply/clicc* from ftp.informatik.uni-kiel.de 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/01/04 language: Common Lisp package: Hyperlisp version: 2.1f author: Joe Chung, MIT Media Laboratory how to get: ftp pub/mcl2/contrib/hyperlisp21f.sit.hqx from cambridge.apple.com description: Hyperlisp is a real-time MIDI programming environment embedded in Macintosh Common Lisp. The environment was developed specifically for the Hyperinstruments project at the MIT Media Laboratory, and is optimized for interactive systems which require fast response times. Hyperlisp provides two main services for the music programmer: routines for MIDI processing and primitives for scheduling the application of functions. Programs written in Macintosh Common Lisp can use these services for a wide variety of real-time MIDI applications. updated: 1994/04/18 language: Franz Lisp package: Liszt? version: ? parts: compiler(->C) author: port to C by J W Dalton <jeff@festival.ed.ac.uk> how to get: ask author description: A version of Liszt that emits C updated: ? language: Lisp package: RefLisp version: 2.67 parts: interpreter, documentation, examples, profiler author: Bill Birch <bbirch@hemel.bull.co.uk> how to get: ftp implementations/reflisp/* from the directory /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu description: The interpreter is a shallow-binding (i.e., everything has dynamic scope), reference counting design making it suitable for experimenting with real-time and graphic user interface programming. Common Lisp compatibility macros are provided, and most of the examples in "Lisp" by Winston & Horn have been run on RefLisp. RefLisp makes no distinction between symbol-values and function-values, so a symbol can be either but not both. There are Lisp modules for lexical scope and for running indefinite extent Scheme programs. ports: MSDOS (CGA/EGA/VGA), Unix (AIX) status: "Last Update for a While," author is emigrating to Australia updated: 1993/02/09 language: Lisp package: xlisp version: 2.1 parts: interpreter author: David Micheal Betz <dbetz@apple.com> how to get: ftp pub/xlisp* from wasp.eng.ufl.edu US Mail: contact Tom Almy <toma@sail.labs.tek.com> Windows: ftp util/wxlslib.zip from ftp.cica.indiana.edu Version2.0: ftp pub/xlisp/* from cs.orst.edu Macintosh: ftp pub/bskendig/? from netcom.com (source comming) description: XLISP is an experimental programming language combining some of the features of Common Lisp with an object-oriented extension capability. It was implemented to allow experimentation with object-oriented programming on small computers. conformance: subset of Common Lisp with additions of Class and Object restriction: ? no commercial use ? ports: unix, amiga, atari, mac, MSDOS portability: very high: just needs a C compiler discussion: comp.lang.lisp.x updated: 1992/05/26 (unix), 1987/12/16 (other platforms) language: Lisp package: "LISP, Objects, and Symbolic Programming" version: ? parts: book with compiler included author: Robert R. Kessler and Amy R. Petajan, published by Scott, Foresman and Company, Glenview, IL how to get: bookstore... description: ? (A short synopsis might help if anyone has one) updated: 1988 language: Lisp package: franz lisp version: ? parts: ? author: ? how to get: [does anyone know where you get franz lisp??? --ed] description: ? discussion: franz-friends-request@berkeley.edu updated: ? language: Lisp (WOOL - Window Object Oriented Language) package: GWM (Generic Window Manager) version: ? parts: interpreter, examples author: ? how to get: ftp contrib/gwm/* from export.lcs.mit.edu France: ftp pub/gwm/* from avahi.inria.fr description: Gwm is an extensible window manager for X11. It is based on a WOOL kernel, and interpreted dialect of lisp with specific winow management primitives. discussion: gwm-talk@??? contact: ? updated: ? language: Lisp (elisp - Emacs Lisp) package: ILISP version: 5.0 parts: Emacs interface author: ?? Ivan Vazquez <ivan@haldane.bu.edu> how to get: ftp to haldane.bu.edu (128.197.54.25) in pub/ilisp/ilisp.tar.Z description: ILISP provides a somewhat lisp-machine like interface to lisp listeners from Emacs. bugs: ilisp-bug@darwin.bu.edu (or ilisp-bugs@darwin.bu.edu). discussion: ilisp@darwin.bu.edu support: Mailing list requests/deletions to ilisp-request@darwin.bu.edu updated: 1993/06/28 language: Lisp (elisp - Emacs Lisp) package: GNU Emacs version: 19.21 parts: editor, interpreter, documentation, source debugger author: Richard Stallman <rms@gnu.ai.mit.edu> and others how to get: pub/gnu/emacs-19.17.tar.gz from any GNU site. description: An editor that is almost an operating system. Quite programmable. And it even fits in your tackle box. bugs: gnu.emacs.bug, e-mail to bug-gnu-emacs@prep.ai.mit.edu ports: Unix, VMS, ? discussion: alt.religion.emacs, gnu.emacs.sources help: gnu.emacs.help announcements: gnu.emacs.announce updated: 1993/11/16 language: Lisp iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: Oaklisp package: oaklisp version: 1.2 parts: interface, bytecode compiler, runtime system, documentation author: Barak Pearlmutter, Kevin Lang how to get: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu description: Oaklisp is a Scheme where everything is an object. It provides multiple inheritence, a strong error system, setters and locators for operations, and a facility for dynamic binding. status: actively developed? contact: Pearlmutter-Barak@CS.Yale.Edu ? updated: 1992/05 ? language: Scheme package: Schematik version: 1.1.5.2 parts: programming environment author: Chris Kane, Max Hailperin <max@nic.gac.edu> how to get: ftp /pub/next/scheme/* from ftp.gac.edu Europe: ftp /pub/next/ProgLang from ftp.informatik.uni-muenchen.de description: Schematik is a NeXT front-end to MIT Scheme for the NeXT. It provides syntax-knowledgeable text editing, graphics windows, and user-interface to an underlying MIT Scheme process. It comes packaged with MIT Scheme 7.1.3 ready to install on the NeXT. ports: NeXT, MIT Scheme 7.1.3 portability: requires NeXTSTEP contact: schematik@gac.edu updated: 1993/03/11 language: Scheme package: T version: 3.1 parts: compiler author: ? how to get: ftp pub/systems/t3.1 from ftp.ai.mit.edu description: a Scheme-like language developed at Yale. T is written in itself and compiles to efficient native code. (A multiprocessing version of T is available from masala.lcs.mit.edu:/pub/mult) bugs: t3-bugs@cs.yale.edu ports: Decstation, Sparc, sun-3, Vax(unix), Encore, HP, Apollo, Mac (A/UX) contact: t-project@cs.yale.edu. updated: 1991/11/26 language: Scheme package: scm version: 4c5 parts: interpreter, conformance test, documentation author: Aubrey Jaffer <jaffer@zurich.ai.mit.edu> how to get: ftp archive/scm/scm* from altdorf.ai.mit.edu Canada: ftp pub/oz/scheme/new/* from nexus.yorku.ca Europe: ftp pub/bosullvn/jacal/* from ftp.maths.tcd.ie description: ? conformance: Scm conforms to the Revised^4 Report restriction: GNU General Public License ports: unix, amiga, atari, mac, MSDOS, nos/ve, vms status: actively developed contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880 updated: 1993/10/05 language: Scheme package: Scheme Library (slib) version: 1d5 parts: library, documentation author: ? how to get: ftp archive/scm/slib*.tar.Z from altdorf.ai.mit.edu description: SLIB is a portable scheme library meant to provide compatibiliy and utility functions for all standard scheme implementations. ports: Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C, Scheme48, T3.1. status: actively developed contact: Aubrey Jaffer <jaffer@zurich.ai.mit.edu> updated: 1993/10/09 language: Scheme package: Hobbit version: release 2 parts: compiler(->C), documentation author: Tanel Tammet <tammet@cs.chalmers.se> how to get: ftp archive/scm/hobbit2.tar.Z from altdorf.ai.mit.edu description: The main aim of hobbit is to produce maximally fast C programs which would retain most of the original Scheme program structure, making the output C program readable and modifiable. Hobbit is written in Scheme and is able to self-compile. Hobbit release 1 works together with the scm release scm4b3. Future releases of scm and hobbit will be coordinated. requires: scm 4b3 updated: 1993/04/25 language: Scheme package: siod (Scheme In One Day, or Scheme In One Defun) version: 3.0 parts: interpreter,library,documentation,sql interface author: George Carrette <gjc@world.std.com> how to get: ftp pub/gjc/siod* from world.std.com 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. ports: VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray, ALPHA/VMS, Windows NT, OS/2. portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall restriction: none besides non-removal of copyright notice. 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/02/18 anguage: 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) how to get: ftp archive/scheme-7.2 from altdorf.ai.mit.edu DOS floppies ($95) and Unix tar tapes ($200) from Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory / 545 Technology Sq. / Cambridge, MA 02139 description: Scheme implementation with rich set of utilities. conformance: full compatibility with Revised^4 Report on Scheme, one known incompatibility with IEEE Scheme standard bugs: bug-cscheme@zurich.ai.mit.edu ports: 68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI), HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF), i386 (DOS/Windows, various Unix) status: activly developed discussion: info-cscheme@zurich.ai.mit.edu (cross-posted to comp.lang.scheme.c) updated: 1992/08/24 language: Scheme package: Scheme->C version: 15mar93 parts: compiler(->C) author: Digital Western Research Laboratory; Joel Bartlett how to get: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com description: Translates Revised**4 Scheme to C that is then compiled by the native C compiler for the target machine. This design results in a portable system that allows either stand-alone Scheme programs or programs written in both compiled and interpreted Scheme and other languages. conformance: superset of Revised**4 + "expansion passing style" macros + foreign function call capability + interfaces to Xlib (Ezd & Scix) + records reference: send Subject "help" to WRL-Techreports@decwrl.dec.com for technical report. Other documentation in Scheme-to-C directory on gatekeeper. ports: VAX/ULTRIX, DECstation ULTRIX, Alpha AXP OSF/1, Microsoft Windows 3.1, Apple Macintosh 7.1, HP 9000/300, HP 9000/700, Sony News, SGI Iris and Harris Nighthawk and other Unix-like m88k systems. The 01nov91 version is also available on Amiga, SunOS, NeXT, and Apollo systems. status: actively developed, contributed ports welcomed updated: 1993/03/15 language: Scheme, Tk package: STk version: 1.00 parts: interpreter author: Gallesio Erick <eg@unice.fr> how to get: ftp pub/STk-1.00.tar.gz from kaolin.unice.fr description: A Scheme interpreter blended with Ousterhout's Tk package. STk expresses all of Tk as scheme objects. STk includes a CLOS/Dylan-like OO extenstion, but the extension is slow. conformance: almost R4RS ports: SunOS 4.1.x, Ultrix/MIPS updated: 1993/09/06 language: Scheme package: PC-Scheme version: 3.03 parts: compiler, debugger, profiler, editor, libraries author: Texas Instruments how to get: ftp archive/pc-scheme/* from altdorf.ai.mit.edu description: Written by Texas Instruments. Runs on MS-DOS 286/386 IBM PCs and compatibles. Includes an optimizing compiler, an emacs-like editor, inspector, debugger, performance testing, foreign function interface, window system and an object-oriented subsystem. Also supports the dialect used in Abelson and Sussman's SICP. conformance: Revised^3 Report, also supports dialect used in SICP. restriction: official version is $95, contact rww@ibuki.com ports: MSDOS updated: 1992/02/23 language: Scheme package: PCS/Geneva version: 4.02PL1 parts: compiler, debugger, profiler, editor, libraries author: "a team at the u. of Geneva" how to get: send email to schemege@uni2a.unige.ch description: PCS/Geneva is a cleaned-up version of Texas Instrument's PC Scheme developed at the University of Geneva. The main extensions to PC Scheme are 486 support, BGI graphics, LIM-EMS pagination support, line editing, and assembly-level interfacing. contact: schemege@uni2a.unige.ch updated: 1994/01/11 language: Scheme package: Gambit Scheme System version: 2.0 parts: interpreter, compiler, linker, libraries author: Marc Feeley <feeley@iro.umontreal.ca> how to get: ftp pub/parallele/gambit/* from ftp.iro.umontreal.ca description: Gambit is an optimizing Scheme compiler/system. The Macintosh port can run with Toolbox and has a built-in editor. conformance: IEEE Scheme standard and `future' construct. ports: 68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh updated: ? language: Scheme package: Elk (Extension Language Kit) version: 2.2 parts: interpreter, libraries author: Oliver Laumann <net@cs.tu-berlin.de>, Carsten Bormann <cabo@cs.tu-berlin.de> how to get: ftp pub/unix/languages/scheme/elk-2.2.tar.gz from ftp.fu-berlin.de N.America: ftp contrib/elk-2.2.tar.gz from ftp.x.org description: Elk is a Scheme interpreter designed to be used as a general extension language. + interfaces to Xlib, Xt, and various widget sets. + dynamic loading of extensions + almost all artificial limitations removed + generational/incremental garbage collector + Unix system call extensions + Records (structures) + bitstrings conformance: Mostly R3RS compatable. ports: unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt, rs6000, hp700, sgi, sony, DOS (gcc+DJGPP or go32) updated: 1994/2/15 language: Scheme package: ezd - easy drawing for programs on X displays version: 15mar93 parts: interpreter/server author: ? how to get: ftp pub/DEC/ezd/* from gatekeeper.dec.com description: Ezd is a graphics server that sits between an application program and the X server and allows both existing and new programs easy access to structured graphics. Ezd users have been able to have their programs produce interactive drawings within hours of reading the man page. Structured graphics: application defined graphical objects are ordered into drawings by the application. Loose coupling to the application program: unlike most X tools, ezd does not require any event handling by the application. The ezd server mantains window contents. When an event occurs on such an object, an application supplied Scheme expression is evaluated. contact: Joel Bartlett <bartlett@decwrl.dec.com> ? updated: 1993/03/10 language: Scheme package: XScheme version: 0.28 parts: ? author: David Betz <dbetz@apple.com> how to get: ftp pub/scheme/* from nexus.yorku.ca description: ? discussion: comp.lang.lisp.x contact: ? updated: 1992/02/02 language: Scheme package: Fools' Lisp version: 1.3.2 parts: ? author: Jonathan Lee <jonathan@scam.berkeley.edu> how to get: ftp src/local/fools.tar.Z from scam.berkeley.edu description: a small Scheme interpreter that is R4RS conformant. ports: Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo updated: 1991/10/31 language: Scheme package: Scheme88 version: ? parts: ? author: ? how to get: ftp pub/scheme/* from nexus.yorku.ca description: ? contact: ? updated: ? language: Scheme package: UMB Scheme version: ? parts: ?, editor, debugger author: William Campbell <bill@cs.umb.edu> how to get: ftp pub/scheme/* from nexus.yorku.ca description: ? conformance: R4RS Scheme ports: ? updated: ? language: Scheme package: PseudoScheme version: 2.8 parts: translator(Common Lisp) author: Jonathan Rees <jar@cs.cornell.edu> how to get: ? description: ? conformance: R3RS except call/cc. requires: Common Lisp ports: Lucid, Symbolics CL, VAX Lisp, Explorer CL announcements: info-clscheme-request@mc.lcs.mit.edu updated: ? language: Scheme package: SOS (Scheme Object System) version: ? author: Chris Hanson ? parts: ? how to get: ftp archive/cph/sos.tar.gz from altdorf.ai.mit.edu description: ? update: ? language: Scheme package: Similix version: 5.0 parts: partial evaulator, debugger author: Anders Bondorf <anders@diku.dk> how to get: ftp pub/diku/dists/Similix.tar.Z from ftp.diku.dk description: Similix is an autoprojector (self-applicable partial evaluator) for a higher order subset of the strict functional language Scheme. Similix handles programs with user defined primitive abstract data type operators which may process global variables (such as input/output operators). conformance: extension of large subset of R4RS Scheme. requires: Scheme ports: Scm, Chez Scheme portability: high contact: Anders Bondorf <anders@diku.dk> updated: 1993/05/18 language: Scheme package: syntax-case version: 2.1 parts: macro system, documentation author: R. Kent Dybvig <dyb@cs.indiana.edu> how to get: ftp pub/scheme/syntax-case.tar.Z from iuvax.cs.indiana.edu Macintosh: /pub/mac/gambit/ from maya.dei.unipd.it. description: We have designed and implemented a macro system that is vastly superior to the low-level system described in the Revised^4 Report; in fact, it essentially eliminates the low level altogether. We also believe it to be superior to the other proposed low-level systems as well, but each of you can judge that for yourself. We have accomplished this by "lowering the level" of the high-level system slightly, making pattern variables ordinary identifiers with essentially the same status as lexical variable names and macro keywords, and by making "syntax" recognize and handle references to pattern variables. reference: + Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92) + R. Kent Dybvig, "Writing Hygienic Macros in Scheme with Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92). ports: Chez Scheme, Mac port runs under MacGambit 2.0 updated: 1992/07/06 language: Scheme package: x-scm version: ? parts: ? author: Larry Campbell <campbell@redsox.bsw.com> how to get: 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 how to get: bookstore, and ftp pub/norvig/* from unix.sri.com description: ? updated: ? language: Scheme package: Psd (Portable Scheme Debugger) version: 1.1 parts: debugger author: Kellom{ki Pertti <pk@cs.tut.fi> how to get: ftp pub/src/languages/schemes/psd.tar.Z from cs.tut.fi description: source code debugging from emacs restriction: GNU GPL requires: R4RS compliant Scheme, GNU Emacs. ports: scm, Elk, Scheme->C updated: 1992/10/08 language: Scheme package: Tiny Clos version: first release parts: ? author: ? how to get: ftp pub/mops/* from parcftp.xerox.com description: A core part of CLOS (Common Lisp Object System) ported to Scheme and rebuilt using a MOP (Metaobject Protocol). This should be interesting to those who want to use MOPs without using a full Common Lisp or Dylan. ports: MIT Scheme 11.74 discussion: mailing list: mops, administered by gregor@parc.xerox.com contact: Gregor Kiczales <gregor@parc.xerox.com> updated: 1992/12/14 language: Scheme package: VSCM version: II Nov9 parts: runtime, bytecode compiler author: Matthias Blume <blume@cs.princeton.edu> how to get: ftp pub/scheme/imp/vscmII*.tar.Z from nexus.yorku.ca de: ftp pub/scheme/yorku/imp/vscmII* from faui80.informatik.uni-erlangen.de uk: ftp pub/uunet/languages/lisp/scheme/repository/imp/vscmII* from unix.hensa.ac.uk description: VSCM is a highly portable implementation of Scheme, written in ANSI C and Scheme. Portability is achieved by exlusive use of legal ANSI C features -- as opposed to a plethora of #ifdef's to adjust to various system peculiarities. (Of course, in real life ANSI C doesn't guarantee portability per se, because there are too many systems with broken compilers or broken libraries.) features: exception and interrupt handling, executable portable memory images, coroutines, continuations with multiple arguments conformance: R4RS, IEEE P1178 ports: Unix, Macintosh portability: very high status: actively developed discussion: comp.lang.scheme updated: 1993/11/09 language: Scheme package: PSI version: pre-release parts: interpreter, virtual machine author: Ozan Yigit <oz@ursa.sis.yorku.ca>, David Keldsen, Pontus Hedman how to get: from author description: I am looking for a few interested language hackers to play with and comment on a scheme interpreter. I would prefer those who have been hacking portable [non-scheme] interpreters for many years. The interpreter is PSI, a portable scheme interpreter that includes a simple dag compiler and a virtual machine. It can be used as an integrated extension interpreter in other systems, allows for easy addition of new primitives, and it embodies some other interesting ideas. There are some unique[2] code debug/trace facilities, as well, acceptable performance resulting from a fairly straight-forward implementation. Continuations are fully and portably supported, and perform well. PSI is based on the simple compilers/vm in Kent Dbyvig's thesis. conformance: R^4RS compatible with a number of useful extensions. updated: 1993/02/19 language: Scheme package: Bigloo version: 1.4 parts: interpreter, compiler(->ANSI C), runtime author: Manuel Serrano <Manuel.Serrano@inria.fr> how to get: ftp INRIA/Projects/icsla/Implementations/bigl* from ftp.inria.fr description: The main goal of Bigloo is to deliver small and fast stand alone applications. features: Optimization supported. conformance: IEEE Scheme standard with some extensions for regex handling ports: sun, sony news, sgi, linux, hp-ux portability: very high for unix systems updated: 1993/09/08 language: Scheme package: Scheme84 version: ? parts: ? author: ? how to get: Send a tape w/return postage to: Scheme84 Distribution / Nancy Garrett / c/o Dan Friedman / Department of Computer Science / Indiana University / Bloomington, Indiana. Call 1-812-335-9770. description: ? requires: VAX, Franz Lisp, VMS or BSD contact: nlg@indiana.edu updated: ? language: Scheme iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters Wirth family languages ------------------------------------------------------------------------------ category: Wirth family languages description: These are the langauges that were either designed by Niklaus Wirth are are descended from them. lref: IFP language: CLU iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: Modula-2, Pascal package: m2 version: ? 7/2/92 ? parts: ? compiler ? author: Michael L. Powell. See description below. how to get: ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com description: A modula-2 compiler for VAX and MIPS. A Pascal compiler for VAX is also included. The Pascal compiler accepts a language that is almost identical to Berkeley Pascal. It was originally designed and built by Michael L. Powell, in 1984. Joel McCormack made it faster, fixed lots of bugs, and swiped/wrote a User's Manual. Len Lattanzi ported it to the MIPS. conformance: extensions: + foreign function and data interface + dynamic array variables + subarray parameters + multi-dimensional open array parameters + inline proceedures + longfloat type + type-checked interface to C library I/O routines restriction: must pass changes back to Digital ports: vax (ultrix, bsd), mips (ultrix) contact: modula-2@decwrl.pa.dec.com updated: 1992/07/06 language: Modula-2 package: Ulm's Modula-2 System version: 2.2.1 parts: compiler, library, tools author: Andreas Borchert <borchert@mathematik.uni-ulm.de> compiler derived from the ETHZ compiler for the Lilith system how to get: ftp pub/soft/modula/ulm/sun3/modula-2.2.1.tar.Z from titania.mathematik.uni-ulm.de. Please get the READ_ME too. description: ? conformance: PIM3 restriction: commercial use requires licence; compiler sources available by separate licence agreement (licence fee is not required if it is possible to transfer the sources across the network) requires: gas-1.36 (to be found in the same directory) ports: Sun3, Nixdorf Targon/31, Concurrent 3200 Series contact: Andreas Borchert <borchert@mathematik.uni-ulm.de> updated: 1992/03/02 language: Modula-2 package: mtc version: ? parts: translator(C) author: ? how to get: ftp pub/unix/programming/compilerbau/mtc.tar.Z from ftp.uni-stuttgart.de description: A Modula-2 to C translator ports: ? updated: 1994/04/29 language: Modula-2 package: mocka version: 9404 parts: compiler, library, examples, docs author: ? Holger Hopp <hopp@ira.uka.de> how to get: ftp /pub/mocka/linux/mocka9404* from i44.s10.ira.uka.de or ftp /pub/Linux/devel/modula-2/mocka9404* from sunsite.unc.edu description: A free version of a Modula-2 compiler for the Intel X86 under Linux or 386BSD (and derivatives?). Source code in Modula-2 is available. ports: Linux and 386BSD (also commercial versions) updated: 1994/04/29 language: Modula-2, Modula-3 package: M2toM3 version: 1.01 parts: translator(Modula-2 -> Modula-3), libraries author: Peter Klein <pk@i3.informatik.rwth-aachen.de> how to get: ftp pub/Modula3 from martha.informatik.rwth-aachen.de description: M2toM3 is a simple Modula-2 to Modula-3 translator which covers most of the syntactic differences between those languages. No context sensitive analysis is done, so WITH statements, local modules, enumeration type literals and variant RECORDS have to be dealt with by hand. Part of the SUN Modula 2 library is emulated by the Modula 3 library requires: a Modula-3 system updated: 1992/12 language: pm2 package: PRAM emulator and parallel modula-2 compiler ?? version: ? parts: compiler, emulator author: ? how to get: ftp pub/pram/* from cs.joensuu.fi description: A software emulator for parallel random access machine (PRAM) and a parallel modula-2 compiler for the emulator. A PRAM consists of P processors, an unbounded shared memory, and a common clock. Each processor is a random access machine (RAM) consisting of R registers, a program counter, and a read-only signature register. Each RAM has an identical program, but the RAMs can branch to different parts of the program. The RAMs execute the program synchronously one instruction in one clock cycle. pm2 programming language is Modula-2/Pascal mixture having extensions for parallel execution in a PRAM. Parallelism is expressed by pardo-loop- structure. Additional features include privat/shared variables, two synchronization strategies, load balancing and parallel dynamic memory allocation. contact: Simo Juvaste <sjuva@cs.joensuu.fi> updated: 1993/02/17 language: Modula-3 package: SRC Modula-3 version: 2.11 parts: compiler(->C), runtime, library, documentation author: ? how to get: ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com MS-DOS: ftp pub/DEC/Modula-3/contrib/m3pc* from gatekeeper.dec.com description: The goal of Modula-3 is to be as simple and safe as it can be while meeting the needs of modern systems programmers. Instead of exploring new features, we studied the features of the Modula family of languages that have proven themselves in practice and tried to simplify them into a harmonious language. We found that most of the successful features were aimed at one of two main goals: greater robustness, and a simpler, more systematic type system. Modula-3 retains one of Modula-2's most successful features, the provision for explicit interfaces between modules. It adds objects and classes, exception handling, garbage collection, lightweight processes (or threads), and the isolation of unsafe features. conformance: implements the language defined in SPwM3. ports: i386/AIX 68020/DomainOS Acorn/RISCiX MIPS/Ultrix 68020/HP-UX RS6000/AIX IBMRT/4.3 68000/NextStep i860/SVR4 SPARC/SunOS 68020/SunOS sun386/SunOS Multimax/4.3 VAX/Ultrix discussion: comp.lang.modula3 contact: Bill Kalsow <kalsow@src.dec.com> updated: 1992/02/09 language: Oberon2 package: Oberon-2 LEX/YACC definition version: 1.4 parts: parser(yacc), scanner(lex) author: Stephen J Bevan <bevan@cs.man.ac.uk> how to get: ftp pub/oberon/tools/o2lexyac.tar.Z from ftp.psg.com or mail bevan@cs.man.ac.uk with Subject "b-server-request~ and body "send oberon/oberon_2_p_v1.4.shar" description: A LEX and YACC grammar for Oberon 2 based on the one given in the listed reference. reference: The Programming Language Oberon-2 H. M\"{o}ssenb\"{o}ck, N. Wirth Institut f\"{u}r Computersysteme, ETH Z\"{u}rich January 1992 ftp Oberon/Docu/Oberon2.Report.ps.Z from neptune.inf.ethz.ch restriction: Portions of the source under copyright by U. Manchester. status: un-officially supported updated: 1992/07/06 language: Oberon package: Ceres workstation Oberon System version: ? parts: compiler author: ? how to get: ftp Oberon/? from neptune.ethz.ch description: file format is Oberon, binary header status: The sources to the various _full_ implementations are indeed not available but the source to most of the complete Ceres workstation Oberon System, including NS32032 code generator but less low level system specific is available. This includes the complete Oberon compiler written in Oberon. updated: ? language: Parallaxis package: parallaxis version: 2.0 parts: ?, simulator, x-based profiler author: ? how to get: ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de description: Parallaxis is a procedural programming language based on Modula-2, but extended for data parallel (SIMD) programming. The main approach for machine independent parallel programming is to include a description of the virtual parallel machine with each parallel algorithm. ports: MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000 contact: ? Thomas Braunl <braunl@informatik.uni-stuttgart.de> ? updated: 1992/10/23 language: Pascal package: p2c version: 1.20 parts: translator(Pascal->C) author: Dave Gillespie <daveg@synaptics.com> how to get: ftp ? from csvax.cs.caltech.edu description: ? conformance: supports ANSI/ISO standard Pascal as well as substantial subsets of HP, Turbo, VAX, and many other Pascal dialects. ports: ? updated: 1990/04/13 language: Pascal package: Pascal P4 compiler and interpreter version: ? 1 parts: compiler, assembler/interpreter, documentation author: Urs Ammann, Kesav Nori, Christian Jacobi how to get: ftp pascal/* from ftp.cwi.nl description: A compiler for Pascal written in Pascal, producing an intermediate code, with an assembler and interpreter for the code. reference: Pascal Implementation, by Steven Pemberton and Martin Daniels, published by Ellis Horwood, Chichester, UK (an imprint of Prentice Hall), ISBN: 0-13-653-0311. Also available in Japanese. contact: Steven.Pemberton@cwi.nl updated: 1993/07/05 language: Pascal package: ? iso_pascal ? version: ? parts: scanner(lex), parser(yacc) author: ? how to get: comp.sources.unix archive volume 13 description: ? updated: ? language: Pascal package: pasos2 version: Alpha parts: Compiler, run-time library author: Willem Jan Withagen <wjw@eb.ele.tue.nl> how to get: ftp pub/src/pascal/pasos2* from ftp.eb.ele.tue.nl description: a PASCAL/i386 compiler which generates code for OS/2 and DOS. It uses EMX as DOS extender and GNU/GAS, MASM or TASM as assembler. updated: 1993/12/17 language: Pascal package: ptc version: ? parts: translator(Pascal->C) author: ? how to get: ftp languages/ptc from uxc.sco.uiuc.edu ? (use archie?) description: ? contact: ? updated: ? language: Turbo Pascal, Turbo C package: tptc version: ? parts: translator(Turbo Pascal->Turbo C) author: ? how to get: ftp mirrors/msdos/turbopas/tptc17*.zip from wuarchive.wustl.edu description: (It does come with full source and a student recently used it as a start for a language that included stacks and queues as a built-in data type. contact: ? updated: ? language: Pascal iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters logic programming languages ------------------------------------------------------------------------------- category: logic programming languages description: langauges designed to manipulate logic predicates. Often used to build expert systems language: BABYLON (Prolog variant???) package: BABYLON version: ? parts: development environment author: ? how to get: ftp gmd/ai-research/Software/* from gmdzi.gmd.de description: BABYLON is a development environment for expert systems. It includes frames, constraints, a prolog-like logic formalism, and a description language for diagnostic applications. requires: Common Lisp ports: many ? contact: ? updated: ? language: Goedel package: Goedel version: 1.3 parts: book, compiler, user manual, system modules, example programs author: Jiwei Wang <jiwei@lapu.bristol.ac.uk> how to get: ftp pub/logic-prgm/goedel/? from ftp.cs.kuleuven.ac.be or ftp goedel/? from ftp.cs.bris.ac.uk 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. requires: SICStus Prolog version 2.1 #6 (or later). Run time system for SPARCstation provided, though. contact: goedel@compsci.bristol.ac.uk status: completing development over the next year. updated: 1993/06/30 language: Janus package: qdjanus version: 1.3 parts: translator(prolog) author: Saumya Debray <debray@cs.arizona.edu> how to get: ftp janus/qdjanus/* from cs.arizona.edu description: janus is a janus-to-prolog compiler meant to be used with Sicstus Prolog conformance: mostly compliant with "Programming in Janus" by Saraswat, Kahn, and Levy. updated: 1992/05/18 language: Janus package: jc version: 1.50 alpha parts: compiler(->C) author: David Gudeman <gudeman@cs.arizona.edu> how to get: ftp janus/jc/* from cs.arizona.edu description: jc is a janus-to-C compiler (considerably faster than qdjanus). jc is a _sequential_ implementation of a _concurrent_ language. bugs: jc-bugs@cs.arizona.edu ports: sun-4, sun-3, Sequent Symmetry status: jc is an experimental system, undergoing rapid development. It is in alpha release currently. discussion: janusinterest-request@parc.xerox.com updated: 1992/06/09 language: LIFE (Logic, Inheritance, Functions, and Equations) package: Wild_LIFE version: first-release parts: interpreter, manual, tests, libraries, examples author: Paradise Project, DEC Paris Research Laboratory. how to get: ftp pub/plan/Life.tar.Z from gatekeeper.dec.com. description: LIFE is an experimental programming language with a powerful facility for structured type inheritance. It reconciles styles from functional programming, logic programming, and object-oriented programming. LIFE implements a constraint logic programming language with equality (unification) and entailment (matching) constraints over order-sorted feature terms. The Wild_LIFE interpreter has a comfortable user interface with incremental query extension ability. It contains an extensive set of built-in operations as well as an X Windows interface. conformance: semantic superset of LOGIN and LeFun. Syntax is similar to prolog. bugs: life-bugs@prl.dec.com ports: MIPS-Ultrix portability: good in theory discussion: life-request@prl.dec.com contact: Peter Van Roy <vanroy@prl.dec.com> updated: 1992/12/14 language: Lolli (logic programming) package: Lolli version: ? parts: ? author: ? Josh Hodas <hodas@saul.cis.upenn.edu> ? how to get: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu description: Lolli is an interpreter for logic programming based on linear logic principles. Lolli can be viewed as a refinement of the the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though not the higher order unification) of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used exactly once. requires: ML updated: 1992/11/08 language: Parlog package: SPM System (Sequential Parlog Machine) version: ? parts: ?, documenation author: ? how to get: ? ftp lang/Parlog.tar.Z from nuri.inria.fr description: a logic programming language ? reference: Steve Gregory, "Parallel Logic Programming in PARLOG", Addison-Wesely, UK, 1987 restriction: ? no source code ? ports: Sun-3 ? updated: ?? language: Prolog package: SB-Prolog version: 3.1 ? parts: ? author: interpreter how to get: ftp pub/sbprolog from sbcs.sunysb.edu description: ? restriction: GNU General Public License contact: ? warren@sbcs.sunysb.edu ? updated: ? language: Prolog package: XSB version: 1.2 parts: interpreter, preprocessor(HiLog), documentation author: XSB research group / SUNY at Stony Brook how to get: ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu (130.245.1.15) description: XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together. ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portability: Generally to 32-bit machines. contact: xsb-contact@cs.sunysb.edu updated: 1993/07/28 language: Prolog package: Modular SB-Prolog version: ? parts: interpreter author: ? how to get: ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk description: SB-Prolog version 3.1 plus modules restriction: GNU General Public License ports: Sparc contact: Brian Paxton <mprolog@dcs.ed.ac.uk> updated: ? language: ALF [prolog variant] package: alf (Algebraic Logic Functional programming language) version: ? parts: runtime, compiler(Warren Abstract Machine) author: Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de> how to get: ftp pub/programming/languages/LogicFunctional from ftp.germany.eu.net description: ALF is a language which combines functional and logic programming techniques. The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Since ALF is an integration of both programming paradigms, any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. updated: 1992/10/08 language: CLP (Constraint Logic Programming language) [Prolog variant] package: CLP(R) version: 1.2 parts: runtime, compiler(byte-code), contstraint solver author: IBM how to get: mail to Joxan Jaffar <joxan@watson.ibm.com> description: CLP(R) is a constraint logic programming language with real-arithmetic constraints. The implementation contains a built-in constraint solver which deals with linear arithmetic and contains a mechanism for delaying nonlinear constraints until they become linear. Since CLP(R) subsumes PROLOG, the system is also usable as a general-purpose logic programming language. There are also powerful facilities for meta programming with constraints. Significant CLP(R) applications have been published in diverse areas such as molecular biology, finance, physical modelling, etc. We are distributing CLP(R) in order to help widen the use of constraint programming, and to solicit feedback on the system restriction: free for academic and research purposes only ports: unix, msdos, OS/2 contact: Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar updated: 1992/10/14 language: Prolog (variant) package: Aditi version: Beta Release parts: interpreter, database author: Machine Intelligence Project, Univ. of Melbourne, Australia how to get: send email to aditi@cs.mu.oz.au description: The Aditi Deductive Database System is a multi-user deductive database system. It supports base relations defined by facts (relations in the sense of relational databases) and derived relations defined by rules that specify how to compute new information from old information. Both base relations and the rules defining derived relations are stored on disk and are accessed as required during query evaluation. The rules defining derived relations are expressed in a Prolog-like language, which is also used for expressing queries. Aditi supports the full structured data capability of Prolog. Base relations can store arbitrarily nested terms, for example arbitrary length lists, and rules can directly manipulate such terms. Base relations can be indexed with B-trees or multi-level signature files. Users can access the system through a Motif-based query and database administration tool, or through a command line interface. There is also in interface that allows NU-Prolog programs to access Aditi in a transparent manner. Proper transaction processing is not supported in this release. ports: Sparc/SunOS4.1.2 Mips/Irix4.0 contact: <aditi@cs.mu.oz.au> updated: 1992/12/17 language: Lambda-Prolog package: Prolog/Mali (PM) version: ? 6/23/92 ? parts: compiler(->C), linker, libraries, runtime, documentation author: Pascal Brisset <brisset@irisa.fr> how to get: ftp pm/* from ftp.irisa.fr description: Lambda-Prolog, a logic programming language defined by Miller, is an extension of Prolog where terms are simply typed $\lambda$terms and clauses are higher order hereditary Harrop formulas. The main novelties are universal quantification on goals and implication. reference: + Miller D.A. and Nadathur G. "Higher-order logic programming", 3rd International Conference on Logic Programming, pp 448-462, London 1986. + Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987. requires: MALI-V06 abstract memory. MALI is available by anonymous ftp from ftp.irisa.fr ports: unix discussion: prolog-mali-request@irisa.fr contact: pm@irisa.fr updated: 1992/07/06 language: Prolog (variant) package: CORAL version: ? parts: interpreter, interface(C++), documentation author: ? how to get: ftp ? from ftp.cs.wisc.edu description: The CORAL deductive database/logic programming system was developed at the University of Wisconsin-Madison. The CORAL declarative language is based on Horn-clause rules with extensions like SQL's group-by and aggregation operators, and uses a Prolog-like syntax. * Many evaluation techniques are supported, including bottom-up fixpoint evaluation and top-down backtracking. * A module mechanism is available. Modules are separately compiled; different evaluation methods can be used in different modules within a single program. * Disk-resident data is supported via an interface to the Exodus storage manager. * There is an on-line help facility requires: AT&T C++ 2.0 (G++ soon) ports: Decstation, Sun4 updated: 1993/01/29 language: Prolog package: BinProlog version: 1.71 parts: interpreter?, documentation author: ? how to get: ftp BinProlog/* from clement.info.umoncton.ca description: BinProlog 1.71 is at this time probably the fastest freely available C-emulated Prolog. ports: IBM-PC/386, Sun-4, Sun-3, NeXT contact: Paul Tarau <tarau@info.umoncton.ca> updated: 1993/04/03 language: Prolog package: SWI-Prolog version: 1.7.2 parts: ? author: Jan Wielemaker <jan@swi.psy.uva.nl> how to get: ftp pub/SWI-Prolog from swi.psy.uva.nl OS/2: ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de description: ? conformance: superset features: "very nice Ed. style prolog, best free one I've seen" restriction: GNU General Public License ports: Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but incomplete, support needed); RS6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (known problems, support needed); MSDOS (status unknown), OS/2 status: activly developed discussion: prolog-request@swi.psy.uva.nl contact: (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de> updated: 1993/07/23 language: Prolog package: Frolic version: ? parts: ? author: ? how to get: ftp pub/frolic.tar.Z from cs.utah.edu description: ? requires: Common Lisp contact: ? updated: 1991/11/23 language: Prolog package: ? Prolog package from the University of Calgary ? version: ? parts: ? author: ? how to get: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca description: + delayed goals + interval arithmetic requires: Scheme portability: relies on continuations contact: ? updated: ? language: Prolog package: ? slog ? version: ? parts: translator(Prolog->Scheme) author: dorai@cs.rice.edu how to get: ftp public/slog.sh from titan.rice.edu description: macros expand syntax for clauses, elations etc, into Scheme ports: Chez Scheme portability: reliese on continuations updated: ? language: Prolog package: LM-PROLOG version: ? parts: ? author: Ken Kahn and Mats Carlsson how to get: ftp archives/lm-prolog.tar.Z from sics.se description: ? requires: ZetaLisp contact: ? updated: ? language: Prolog package: Open Prolog version: ? parts: ? author: ? how to get: ftp languages/open-prolog/* from grattan.cs.tcd.ie description: ? ports: Macintosh contact: Michael Brady <brady@cs.tcd.ie> updated: ? language: Prolog package: UPMAIL Tricia Prolog version: ? parts: ? author: ? how to get: ftp pub/Tricia/README from ftp.csd.uu.se description: ? contact: <tricia-request@csd.uu.se> updated: ? language: Prolog package: ?; ? (two systems) version: ?; ? parts: ?; ? author: ? how to get: ftp ai.prolog/Contents from aisun1.ai.uga.edu description: ?; ? ports: MSDOS, Macintosh; MSDOS contact: Michael Covington <mcovingt@uga.cc.uga.edu> updated: ?; ? language: Prolog package: XWIP (X Window Interface for Prolog) version: 0.6 parts: library author: ? how to get: ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu description: It is a package for Prologs following the Quintus foreign function interface (such as SICStus). It provides a (low-level) Xlib style interface to X. The current version was developed and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1. portability: It is adaptable to many other Unix configurations. contact: xwip@cs.ucla.edu updated: 1993/02/25 language: Prolog package: PI version: ? parts: library author: ? how to get: ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt description: PI is a interface between Prolog applications and XWindows that aims to be independent from the Prolog engine, provided that it has a Quintus foreign function interface (such as SICStus, YAP). It is mostly written in Prolog and is divided in two libraries: Edipo - the lower level interface to the Xlib functions; and Ytoolkit - the higher level user interface toolkit contact: Ze' Paulo Leal <zp@ncc.up.pt> updated: 1993/03/02 language: Prolog package: ISO draft standard version: ? (What year??) parts: language definition author: ? how to get: ftp ? from ftp.th-darmstadt.de description: ? updated: 1992/07/06 language: Prolog iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: OPS5 package: PD OPS5 version: ? parts: interpreter author: Written by Charles L. Forgy and ported to Common Lisp by George Wood and Jim Kowalski. how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from ftp.cs.cmu.edu description: Public domain implementation of an OPS5 interpreter. OPS5 is a programming language for rule-based production systems. A rule consists of pre-condition(s) and the resulting action. The system as a whole acts first checking the status of system in its working memory and matches the rules to see if there are rules that are satisfied, and then the action in one selected satisfied rule is executed. There is a commercial version available called OPS83. Please contact the author for information. requires: Common Lisp contact: ? Mark Kantrowitz <mkant+@cs.cmu.edu> ? updated: 1992/10/17 -- Send compilers articles to compilers@iecc.com or {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.