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