language: Prolog

Language:
Prolog
Language:
Scheme, Prolog
Package:
"Paradigms of AI Programming"
Version:
?
Parts:
book with interpreters and compilers in Common Lisp
Author:
Peter Norvig
Location:
bookstore, and ftp://unix.sri.com/pub/norvig/*
Description:
?
Updated:
?
Language:
Prolog
Package:
? Prolog package from the University of Calgary ?
Version:
?
Parts:
?
Author:
?
Location:
ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z
Description:
  • delayed goals
  • interval arithmetic
Requires:
Scheme
Portability:
relies on continuations
Contact:
?
Updated:
?
Language:
Prolog
Package:
? slog ?
Version:
?
Parts:
translator(Prolog->Scheme)
Author:
dorai@cs.rice.edu
Location:
ftp://titan.rice.edu/public/slog.sh
Description:
macros expand syntax for clauses, elations etc, into Scheme
Ports:
Chez Scheme
Portability:
reliese on continuations
Updated:
?
Language:
Prolog
Package:
?; ? (two systems)
Version:
?; ?
Parts:
?; ?
Author:
?
Location:
ftp://aisun1.ai.uga.edu/ai.prolog/Contents
Description:
?; ?
Ports:
MSDOS, Macintosh; MSDOS
Contact:
Michael Covington <mcovingt@uga.cc.uga.edu>
Updated:
?; ?
Language:
Prolog (variant)
Package:
Aditi
Version:
Beta Release
Parts:
interpreter, database
Author:
Machine Intelligence Project, Univ. of Melbourne, Australia
Location:
send email to aditi@cs.mu.oz.au
Description:
The Aditi Deductive Database System is a multi-user deductive database system. It supports base relations defined by facts (relations in the sense of relational databases) and derived relations defined by rules that specify how to compute new information from old information. Both base relations and the rules defining derived relations are stored on disk and are accessed as required during query evaluation. The rules defining derived relations are expressed in a Prolog-like language, which is also used for expressing queries. Aditi supports the full structured data capability of Prolog. Base relations can store arbitrarily nested terms, for example arbitrary length lists, and rules can directly manipulate such terms. Base relations can be indexed with B-trees or multi-level signature files. Users can access the system through a Motif-based query and database administration tool, or through a command line interface. There is also in interface that allows NU-Prolog programs to access Aditi in a transparent manner. Proper transaction processing is not supported in this release.
Ports:
Sparc/SunOS4.1.2 Mips/Irix4.0
Contact:
<aditi@cs.mu.oz.au>
Updated:
December 17th, 1992
Language:
Prolog
Package:
Amzi! Logic Explorer
Version:
3.3
Parts:
interpreter
Author:
Amzi! inc.
Location:
http://www.amzi.com/share.htm
Description:
Full tutorial and interpreted development environment
Restriction:
shareware for non-personal use
Ports:
Windows
Contact:
Amzi! inc. info@amzi.com
Updated:
June 1st, 1996
Language:
Prolog
Package:
Beta-Prolog
Version:
1.5
Parts:
interpreter(?), libraries, debugger
Author:
Neng-Fa Zhou <zhou@mse.kyutech.ac.jp> form "Real Name <email@address>". Surface mail addresses are not used unless there is no email address.
Location:
ftp://ftp.kyutech.ac.jp/pub/Language/prolog/*
Description:
?
Conformance:
Incorporates most built-in predicates in ISO-Prolog.
Updated:
April 5th, 1995
Language:
Prolog
Package:
BinProlog
Version:
1.71
Parts:
interpreter?, documentation
Author:
?
Location:
ftp://clement.info.umoncton.ca/BinProlog/*
Description:
BinProlog 1.71 is at this time probably the fastest freely available C-emulated Prolog.
Ports:
IBM-PC/386, Sun-4, Sun-3, NeXT
Contact:
Paul Tarau <tarau@info.umoncton.ca>
Updated:
April 3rd, 1993
Language:
Prolog (variant)
Package:
Coral
Version:
1.5.2
Parts:
interpreter, interface(C++), documentation
Author:
Raghu Ramakrishnan, et.al.
Location:
http://www.cs.wisc.edu/coral/
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:
g++
Contact:
Shaun Flisakowski <flisakow@cs.wisc.edu>
Ports:
Sun4, Sun Solaris, Hpux, Linux
Status:
Frozen - bug fixes only.
Updated:
January 29th, 1993
Language:
Prolog
Package:
Frolic
Version:
?
Parts:
?
Author:
?
Location:
ftp://cs.utah.edu/pub/frolic.tar.Z
Description:
?
Requires:
Common Lisp
Contact:
?
Updated:
November 23rd, 1991
Language:
Prolog
Package:
ISO draft standard
Version:
? (What year??)
Parts:
language definition
Author:
?
Location:
ftp://ftp.th-darmstadt.de ?
Description:
?
Updated:
July 6th, 1992
Language:
Prolog
Package:
LM-PROLOG
Version:
?
Parts:
?
Author:
Ken Kahn and Mats Carlsson
Location:
ftp://sics.se/archives/lm-prolog.tar.Z
Description:
?
Requires:
ZetaLisp
Contact:
?
Updated:
?
Language:
Prolog
Package:
Modular SB-Prolog
Version:
?
Parts:
interpreter
Author:
?
Location:
ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z
Description:
SB-Prolog version 3.1 plus modules
Restriction:
GNU General Public License
Ports:
Sparc
Contact:
Brian Paxton <mprolog@dcs.ed.ac.uk>
Updated:
?
Language:
Prolog
Package:
Open Prolog
Version:
1.0.3d22
Parts:
interpreter, examples
Author:
Michael Brady <beady@cs.tcd.ie>
Location:
ftp://ftp.cs.tcd.ie/pub/languages/open-prolog/*
Description:
Text-oriented Prolog system for the Macintosh (Edimburgh syntax), with a MPW-like worksheet as the main user interface.
Features:
including Definite Clause Grammars
+ supports most the features of DEC Prolog or C-Prolog
if-then-else according to the draft ISO Prolog standard
+ support disjunctive calls, negation, if-then and
handling conforming to the ISO Draft
+ supports program-originated catch-and-throw exception
are not supported.
- Real-number arithmetic and internal database predicates
+ built-in predicates to manage Macintosh dialogs
Ports:
Macintosh
Contributions:
send a postcard
Contact:
Michael Brady <brady@cs.tcd.ie>
Updated:
June 19th, 1995
Language:
Prolog
Package:
PI
Version:
?
Parts:
library
Author:
?
Location:
ftp://ftp.ncc.up.pt/pub/prolog/ytoolkit.tar.Z
Description:
PI is a interface between Prolog applications and XWindows that aims to be independent from the Prolog engine, provided that it has a Quintus foreign function interface (such as SICStus, YAP). It is mostly written in Prolog and is divided in two libraries: Edipo - the lower level interface to the Xlib functions; and Ytoolkit - the higher level user interface toolkit
Contact:
Ze' Paulo Leal <zp@ncc.up.pt>
Updated:
March 2nd, 1993
Language:
Prolog
Package:
SB-Prolog
Version:
3.1 ?
Parts:
?
Author:
interpreter
Location:
ftp://sbcs.sunysb.edu/pub/sbprolog
Description:
?
Restriction:
GNU General Public License
Contact:
? warren@sbcs.sunysb.edu ?
Updated:
?
Language:
Prolog
Package:
Strawberry Prolog Light
Version:
3.0 beta (2.92 stable)
Author:
Dimiter Dimitrov Dobrev <dobrev@2-box.com>
Location:
http://www.dobrev.com/
Description:
Strawberry Prolog is specially designed for education.
Features:
Compiler, Proof Tree tool, example programs
Ports:
Windows Vista/XP and Unix/Linux
Contact:
Dimiter Dimitrov Dobrev <dobrev@2-box.com>
Updated:
December 2008
Language:
Prolog
Package:
SWI-Prolog
Version:
1.7.2
Parts:
?
Author:
Jan Wielemaker <jan@swi.psy.uva.nl>
Location:
ftp://swi.psy.uva.nl/pub/SWI-Prolog
os/2:
ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/*
Description:
?
Conformance:
superset
Features:
"very nice Ed. style prolog, best free one I've seen"
Restriction:
GNU General Public License
Ports:
Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but incomplete, support needed); RS6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (known problems, support needed); MSDOS (status unknown), OS/2
Status:
activly developed
Discussion:
prolog-request@swi.psy.uva.nl
Contact:
(OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de>
Updated:
July 23rd, 1993
Language:
Pascal, Lisp, APL, Scheme, SASL, CLU, Smalltalk, Prolog
Package:
Tim Budd's C++ implementation of Kamin's interpreters
Version:
?
Parts:
interpretors, documentation
Author:
Tim Budd <budd@cs.orst.edu>
Location:
? ftp://cs.orst.edu/pub/budd/kamin/*.shar
Description:
a set of interpretors written as subclasses based on "Programming Languages, An Interpreter-Based Approach", by Samuel Kamin.
Requires:
C++
Status:
?
Contact:
Tim Budd <budd@fog.cs.orst.edu>
Updated:
September 12th, 1991
Language:
Prolog
Package:
UPMAIL Tricia Prolog
Version:
?
Parts:
?
Author:
?
Location:
ftp://ftp.csd.uu.se/pub/Tricia/README
Description:
?
Contact:
<tricia-request@csd.uu.se>
Updated:
?
Language:
Prolog
Package:
wamcc
Version:
2.2
Parts:
compiler Prolog->C, runtime, Prolog debugger, WAM debugger.
Author:
Daniel Diaz - INRIA Rocquencourt - FRANCE
Location:
ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc
Description:
wamcc is a Prolog Compiler which translates Prolog to C via the WAM. wamcc has a syntax very close to the future ansi standard. wamcc offers the most usual built-in predicates, a top-level, a Prolog debugger and a WAM debugger. wamcc is designed to be easily extended (e.g. see clp(FD)).

From an efficiency point of view, wamcc is between SICStus "emulated" and SICStus "native code" on Sparc machines (1.5 times faster than SICStus emulated, 1.5 times slower than SICStus "native code").

Restriction:
free (see COPYRIGHT notice)
Requires:
GNU C (gcc) version 2.4.5 or higher
Ports:
Sparc workstations, PC under linux, sony mews, dec ultrix
Portability:
Generally to 32-bit machines with gcc.
Contact:
Daniel Diaz <Daniel.Diaz@inria.fr>
Status:
no longer maintained - see GNU Prolog by the same author.
Updated:
August 1st, 1994
Language:
Prolog
Package:
XSB
Version:
1.2
Parts:
interpreter, preprocessor(HiLog), documentation
Author:
XSB research group / SUNY at Stony Brook
Location:
ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z
Description:
XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together.
Ports:
Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
Portability:
Generally to 32-bit machines.
Contact:
xsb-contact@cs.sunysb.edu
Updated:
July 28th, 1993
Language:
Prolog
Package:
XWIP (X Window Interface for Prolog)
Version:
0.6
Parts:
library
Author:
?
Location:
ftp://export.lcs.mit.edu/contrib/xwip-0.6.tar.Z
Description:
It is a package for Prologs following the Quintus foreign function interface (such as SICStus). It provides a (low-level) Xlib style interface to X. The current version was developed and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1.
Portability:
It is adaptable to many other Unix configurations.
Contact:
xwip@cs.ucla.edu
Updated:
Febuary 25th, 1993

Related Items
This site is supported by David Sharnoff and Bryan Miller with some help from Google Adwords.

Please send updates to free-compilers@sharnoff.org

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved
Copyright (c) 1999-2010 David Muir Sharnoff, Bryan Miller, All Rights Reserved