🚀 go-pugleaf

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