Section 3 of 3 - Prev - Next
All sections - 1 - 2 - 3

		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)
updated:	1994/08/01

language:	Prolog (variant)
package:	Aditi
version:	Beta Release
parts:		interpreter, database
author:		Machine Intelligence Project, Univ. of Melbourne, Australia
location:	send email to 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:	
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 
location:	ftp://ftp.irisa.fr/pm/*
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:		?
location:	ftp://ftp.cs.wisc.edu from ?
description:	The CORAL deductive database/logic programming system was
		developed at the University of Wisconsin-Madison.  The CORAL
		declarative language is based on Horn-clause rules with
		extensions like SQL's group-by and aggregation operators, and
		uses a Prolog-like syntax.  * Many evaluation techniques are
		supported, including bottom-up fixpoint evaluation and top-down
		backtracking.  * A module mechanism is available.  Modules are
		separately compiled; different evaluation methods can be used
		in different modules within a single program.  * Disk-resident
		data is supported via an interface to the Exodus storage
		manager.  * There is an on-line help facility
requires:	AT&T C++ 2.0 (G++ soon)
ports:		Decstation, Sun4
updated:	1993/01/29

language:	Prolog
package:	BinProlog
version:	1.71
parts:		interpreter?, documentation
author:		?
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 
updated:	1993/04/03

language:	Prolog
package:	SWI-Prolog
version:	1.7.2
parts:		?
author:		Jan Wielemaker 
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 
updated:	1993/07/23

language:	Prolog
package:	Beta-Prolog
version:	1.5
parts:		interpreter(?), libraries, debugger
author:		Neng-Fa Zhou 
		form "Real Name ".  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:	1995/04/05

language:	Prolog
package:	Frolic
version:	?
parts:		?
author:		?
location:	ftp://cs.utah.edu/pub/frolic.tar.Z
description:	?
requires:	Common Lisp
contact:	?
updated:	1991/11/23

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:	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:	Open Prolog
version:	1.0.3d22
parts:		interpreter, examples
author:		Michael Brady 
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 
updated:	1995/06/19

language:	Prolog
package:	UPMAIL Tricia Prolog
version:	?
parts:		?
author:		?
location:	ftp://ftp.csd.uu.se/pub/Tricia/README
description:	?
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 
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:	1993/02/25

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 
updated:	1993/03/02

language:	Prolog
package:	ISO draft standard
version:	? (What year??)
parts:		language definition
author:		?
location:	ftp://ftp.th-darmstadt.de ?
description:	?
updated:	1992/07/06

language:	Prolog
iref:		(Prolog) Tim Budd's C++ implementation of Kamin's interpreters

language:	OPS5
package:	PD OPS5
version:	?
parts:		interpreter
author:		Written by Charles L. Forgy and ported to Common Lisp by
		George Wood and Jim Kowalski.
location:	ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5*
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  ?
updated:	1992/10/17

--
Send compilers articles to compilers@iecc.com, meta-mail to
compilers-request@iecc.com.  Archives at http://www.iecc.com/compilers

Section 3 of 3 - Prev - Next
All sections - 1 - 2 - 3

© allanswers.org | Terms of use