Xref: utzoo comp.lang.prolog:1306 comp.lang.misc:1928
Path: utzoo!utgpu!water!watmath!clyde!att!rutgers!mcnc!thorin!evergreen!bts
From: bts@evergreen.cs.unc.edu (Bruce Smith)
Newsgroups: comp.lang.prolog,comp.lang.misc
Subject: LIST-of-PROLOGs available from UNC
Keywords: More Prologs than you can shake a stick at!
Message-ID: <4399@thorin.cs.unc.edu>
Date: 27 Sep 88 23:19:51 GMT
Sender: news@thorin.cs.unc.edu
Lines: 39

The LIST-of-PROLOGs is still available (by FTP or e-mail) from UNC.
This is a list of over 50 Prolog systems, with particular emphasis
on those readily available to academic users -- that is, some offer
substantial discounts to non-commercial users, others are very in-
expensive to begin with, and a few are even free!  Prologs in this
list include the following:

	Advanced AI Systems Prolog, A.D.A. Prolog, ALS Prolog,
	Arity/Prolog V5.0, Basser Prolog, BIM-Prolog, BNR
	Macintosh Prolog, C-Prolog, Caltech Prolog, CLP(R),
	Edinburgh Prolog (formerly NIP), EqL, ExperProlog-II,
	GProlog, Horne, HP Prolog, ICL Prolog, IF/Prolog, Lambda
	Prolog, LISPLOG, LM-Prolog, LOGLISP, LPA Mac-Prolog,
	MacPROLOG, Micro-Prolog, Modula-Prolog, MProlog,
	MU-Prolog, NU-Prolog, PARLOG, Personal Prolog, POPLOG,
	Prolog-1, Prolog-2, Prolog-10 and Prolog-20, Prolog-86,
	Prolog-II, PROLOG/i, PROLOG/m, Prolog-CRISS, PROLOG/P,
	Quintus Prolog, Rhet, Salford University Prolog,
	SB-Prolog, Sicstus Prolog, TI Prolog, Trilogy, UNH
	Prolog, UNSW Prolog, Uranus System, VM/Prolog,
	VS/Prolog, VPI Prolog, WProlog, York Portable Prolog,
	ZYX Macintosh Prolog

Additions are always welcome.  Please send me mail if you know one I
missed or if you have newer information on one already in this LIST.
Several people have sent updates since LP'88 in August, but many of
the entries are a year old or more.

To grab a copy, connect to dopey.cs.unc.edu, log in as "ftp", and
use your name as password.  The list is in the directory pub/LIST.
The file will be named something like "PrologList.9.23" (depending on
the date), and a compressed version (with a .Z suffix) is available.
If you cannot FTP or if you have trouble, please send mail.
______________________________________________
Bruce T. Smith			bts@cs.unc.edu
Department of Computer Science	(919) 962-1917
Sitterson Hall
University of North Carolina
Chapel Hill, NC 27599