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:
|
- +
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 <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:
|
SWI-Prolog
|
|---|
-
Version:
|
1.7.2
|
|---|
-
Parts:
|
?
|
|---|
-
Author:
|
Jan Wielemaker <jan@swi.psy.uva.nl>
|
|---|
-
Location:
|
|
|---|
-
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
|
|---|
|
|