bts@unc.cs.unc.edu (Bruce Smith) (12/12/87)
Well, it's time (past time, actually) for a new LIST-OF-PROLOGs. I'll
be posting it -- almost 1K lines -- in my next message. Here is a
quick summary.
New or updated entries:
BIM_Prolog, Blog, Caltech Prolog, CLP(R), GProlog, Horne,
IF/Prolog, Lambda-Prolog, LISPLOG, LM-Prolog, MU-Prolog,
NU-Prolog, POPLOG, Prolog-CRISS, Rhet, Sicstus Prolog,
Trilogy, UNSW Prolog, WProlog
Unchanged since the last posting:
A.D.A. Prolog, Arity/Prolog, Basser Prolog, C-Prolog, IC Prolog,
ICL Prolog, The Logic Workbench, LOGLISP, MProlog, Modula-Prolog,
Pascal Prolog, Prolog-1, Prolog-2, Prolog-10 and Prolog-20,
Prolog-86, Prolog-II, Prolog-V, Prolog/P, Quintus Prolog, Salford
Prolog, UNH Prolog, UNIX Prolog, Uranus Prolog, VPI Prolog, York
Portable Prolog
I'd appreciate hearing from anyone who can tell me about the unchanged
entries. Are those systems still available? How have they changed?
Finally, I'd like to hear something from users (or implementors) of
of the following, along with any others I've missed.
C-Prolog+
Edinburgh Prolog (formerly NIP - New Implementation of Prolog)
Epilog
IBM's VM/Prolog
Parlog
PLM (Aquarius Project at Berkeley)
Wisdom Prolog
Virginia Tech compiler
Xenologic
I hope to have the LIST FTP-able from UNC by mid-January, so from now
on I will only post updates and new entries. However, I will try to
mail (electronic or hardcopy) to folks who cannot FTP.
________________________________________________________
Bruce T. Smith (bts@unc.cs.unc.edu -OR- bts@cs.duke.edu)
Sitterson Hall / UNC-CH (919) 962-1917
Chapel Hill, NC 27514