language: Prolog

Language:

`Language:`	Prolog

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Requires:
Portability:
Contact:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Ports:
Portability:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Ports:
Contact:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Ports:
Contact:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Restriction:
Ports:
Contact:
Updated:

`Language:`	Prolog
`Package:`	Amzi! Logic Explorer
`Version:`	3.3
`Parts:`	interpreter
`Author:`	Amzi! inc.
`Location:`	http://www.amzi.com/share.htm
`Description:`	Full tutorial and interpreted development environment
`Restriction:`	shareware for non-personal use
`Ports:`	Windows
`Contact:`	Amzi! inc. info@amzi.com
`Updated:`	June 1st, 1996

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Conformance:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Ports:
Contact:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Requires:
Contact:
Ports:
Status:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Requires:
Contact:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Requires:
Contact:
Updated:

`Language:`	Prolog
`Package:`	LM-PROLOG
`Version:`	?
`Parts:`	?
`Author:`	Ken Kahn and Mats Carlsson
`Location:`	ftp://sics.se/archives/lm-prolog.tar.Z
`Description:`	?
`Requires:`	ZetaLisp
`Contact:`	?
`Updated:`	?

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Restriction:
Ports:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Features:
Ports:
Contributions:
Contact:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Contact:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Restriction:
Contact:
Updated:

`Language:`	Prolog
`Package:`	SB-Prolog
`Version:`	3.1 ?
`Parts:`	?
`Author:`	interpreter
`Location:`	ftp://sbcs.sunysb.edu/pub/sbprolog
`Description:`	?
`Restriction:`	GNU General Public License
`Contact:`	? warren@sbcs.sunysb.edu ?
`Updated:`	?

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Conformance:
Features:
Restriction:
Ports:
Status:
Discussion:
Contact:
Updated:

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Requires:
Status:
Contact:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Contact:
Updated:

`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:
Package:
Version:
Parts:
Author:
Location:
Description:
Restriction:
Requires:
Ports:
Portability:
Contact:
Status:
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:
Package:
Version:
Parts:
Author:
Location:
Description:
Ports:
Portability:
Contact:
Updated:

`Language:`	Prolog
`Package:`	XSB
`Version:`	1.2
`Parts:`	interpreter, preprocessor(HiLog), documentation
`Author:`	XSB research group / SUNY at Stony Brook
`Location:`	ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z
`Description:`	XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together.
`Ports:`	Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
`Portability:`	Generally to 32-bit machines.
`Contact:`	xsb-contact@cs.sunysb.edu
`Updated:`	July 28th, 1993

Language:
Package:
Version:
Parts:
Author:
Location:
Description:
Portability:
Contact:
Updated:

`Language:`	Prolog
`Package:`	XWIP (X Window Interface for Prolog)
`Version:`	0.6
`Parts:`	library
`Author:`	?
`Location:`	ftp://export.lcs.mit.edu/contrib/xwip-0.6.tar.Z
`Description:`	It is a package for Prologs following the Quintus foreign function interface (such as SICStus). It provides a (low-level) Xlib style interface to X. The current version was developed and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1.
`Portability:`	It is adaptable to many other Unix configurations.
`Contact:`	xwip@cs.ucla.edu
`Updated:`	Febuary 25th, 1993

Related Items

This work supported by Idiom Consulting. Idiom is a full-service ISP, providing Internet access in Northern California and Web hosting worldwide.

Please send updates to free-compilers@idiom.com

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