;;; ****************************************************************
;;; Change Log for the Prolog Resource Guide ***********************
;;; ****************************************************************
;;; *** Change Log:
;;; 13-SEP-92 mk    1.0  Updated and revised Dec 1991 version (0.6).
;;;
;;; 15-OCT-92 mk    1.1  Updated IF/Prolog entry.
;;;  5-NOV-92 mk         Info about PSI, Prolog 1000.
;;;  6-NOV-92 mk         Updated Prolog by BIM and IBM Prolog entries.
;;; 24-NOV-92 mk         Added entry on Goedel.
;;;  8-DEC-92 mk    1.2  Updated Prolog Machine Learning Repository.
;;; 17-DEC-92 mk    1.3  Added entry on Eden.
;;; 21-DEC-92 mk         New Cogent Prolog entry. Also added Merritt's
;;;                      books to the listing.
;;;  8-JAN-93 mk         ALE
;;;
;;; 1.4:
;;; 17-FEB-93 mk    Parallel Logic Programming's address should be with PARLOG,
;;;                 not Paralogic.
;;;  5-MAR-93 mk    OS/2 port of SWI-Prolog. ESL Prolog Edinburgh 
;;;                 compatibility.
;;; 11-MAR-93 mk    Added Alexiev's OOP-LP bibliography.
;;; 12-MAR-93 mk    Added PI to new X-Windows section.
;;;
;;; 1.5:
;;; 22-MAR-93 mk    Added Tu Van Le's book to bibliography.
;;;  1-APR-93 mk    Added entry on Aquarius Prolog
;;;  1-APR-93 mk    Updated Open Prolog entry.
;;;  8-APR-93 mk    Split into two parts. Renumbered.
;;;  9-APR-93 mk    Added entry on ECLiPSe to part 2.
;;;  9-APR-93 mk    Added entry on Aarhus Constraint Programming paper archive.
;;;  9-APR-93 mk    Updated BinProlog entry.
;;;
;;; 1.6:
;;; 14-APR-93 mk    Added entry on XSB to part 2.
;;; 22-APR-93 mk    New Open Prolog entry in part 2.
;;; 26-APR-93 mk    Sepia no longer standalone, now part of ECLiPSe.
;;; 29-APR-93 mk    Added entry on OL(P), object-oriented layer for Prolog.
;;; 29-APR-93 mk    Added entry on the source code available from
;;;                 Pereira/Shieber's book on NLU in Prolog.
;;; 1.7:
;;; 17-MAY-93 mk    Updated entry on Lambda Prolog
;;; 19-MAY-93 mk    Updated entry on Cogent Prolog.
;;;  7-JUN-93 mk    Entry on eLP in part 2.
;;;  7-JUN-93 mk    Entry on XPCE in 1-6.
;;;
;;; 1.8:
;;; 21-JUN-93 mk    Minor changes to ECLiPSe entry.
;;; 21-JUN-93 mk    Small change in MU-Prolog entry.
;;; 21-JUN-93 mk    Removed CLP.X mailing list, as it is now defunct.
;;; 21-JUN-93 mk    Updated Arity's address.
;;; 21-JUN-93 mk    Added ILOG Solver to part 2.
;;;  2-JUL-93 mk    Added NCL to part 2.
;;;  5-JUL-93 mk    Added [1-7] What is the Basic Andorra Model based on a
;;;                 post by Sverker Janson.
;;;  5-JUL-93 mk    Added entry on PTC to part 2.
;;;  7-JUL-93 mk    Phone number for Expert Systems Ltd changed by one digit to
;;;                 +44-865-784474.
;;; 1.9:
;;; 20-JUL-93 mk    Updated IC-Prolog II entry and the PARLOG entry.
;;; 10-AUG-93 mk    Inserted [1-7] about compiling Prolog to C.
;;;
;;; 1.10:
;;; 24-AUG-93 mk    Corrected subscription info to EJFLP.
;;; 25-AUG-93 mk    Added entry on theorem-provers mailing list to [1-3].
;;;
;;; 1.11:
;;; 13-SEP-93 mk    Added entry on SLG to part 2.
;;;
;;; 1.12:
;;;  6-OCT-93 mk    Added entry on JB Prolog 2.1
;;; 12-OCT-93 mk    Added mention of Goedel mailing list to Goedel entry.
;;; 28-OCT-93 mk    Added entry on CHIP V4 to [2-2] Constraint Systems.
;;;
;;; 1.13:
;;; 15-NOV-93 mk    Updated ILOG Solver entry in part 2.
;;; 15-NOV-93 mk    Updated LP Bibs entry.
;;; 15-NOV-93 mk    Corrected email in SQL compiler entry.
;;;
;;; 1.14:
;;; 14-DEC-93 mk    Added Kogge book to 1-4.
;;; 16-DEC-93 mk    Changed export.lcs.mit.edu to ftp.x.org.
;;; 22-DEC-93 mk    Updated BinProlog entry.
;;; 27-DEC-93 mk    Siemens just bought IF/Prolog.
;;; 27-DEC-93 mk    Reorganized the references in [1-4].
;;; 27-DEC-93 mk    Added entry on ProTcl to [1-6].
;;; 27-DEC-93 mk    Added entry on Qu-Prolog 3.2 and Ergo 4.0 to part 2.
;;; 28-DEC-93 mk    Updated SLG entry.
;;; 29-DEC-93 mk    Added entry on WAM emulators and tracers.
;;; 12-JAN-94 mk    Added entry on Beta Prolog
;;;
;;; 1.15:
;;;  9-FEB-94 mk    Added pointer in Constraint Systems [2-2] to CU-Prolog and
;;;                 ECLiPSe.
;;;  9-FEB-94 mk    Reorganized part 2, splitting [2-1] and [2-2] into many
;;;                 parts, some of which are now in part 1, and renumbered
;;;                 part 1.
;;;  9-FEB-94 mk    Corrected information on PDC-L mailing list, thanks to help
;;;                 from Bill Hogan.
;;; 10-FEB-94 mk    New version of JB Prolog.
;;; 11-FEB-94 mk    Added [1-12] question about what is CLP.
;;; 11-FEB-94 mk    Added CLP references.
;;;
;;;
;;; 1.16:
;;; 16-FEB-94 mk    Corrected directory for MSDOS SBprolog.
;;; 17-FEB-94 mk    Added entry on Yoav Shoham's book.
;;; 22-FEB-94 mk    Deleted Trilogy entry (Complete Logic Systems) from part
;;;                 2, as the company has been disbanded and Trilogy is no
;;;                 longer sold.
;;; 25-FEB-94 mk    Updated AAIS Full Control Prolog entry in part 2.
;;;  4-MAR-94 mk    New email address for Amziod, now Amzi!
;;;  4-MAR-94 mk    Added entry on Amzi! free Prolog program that solves
;;;                 Rubik's Cube.
;;; 10-MAR-94 mk    Added [1-13] on writing portable prolog programs.
;;; 11-MAR-94 mk    Updated Beta Prolog entry, with ftp location.
;;; 11-MAR-94 mk    Added information on Prowindows 3 (commercial version of
;;;                 XPCE for Quintus) to XPCE entry.
;;;
;;; 1.17:
;;; 14-MAR-94 mk    Added Merritt's article on exploring prolog.
;;; 15-MAR-94 mk    Added description of FRIL, a fuzzy logic prolog, to [2-2].
;;; 16-MAR-94 mk    Added Covington's new NLP in Prolog book.
;;; 24-MAR-94 mk    Updated Wild_Life entry (part 2); now at version 1.0.
;;; 30-MAR-94 mk    Updated Toy Prolog description, and added entry on
;;;                 Prolog-68.
;;; 30-MAR-94 mk    If you had trouble retrieving JBProlog 2.1.2 before, try
;;;                 again. The original file was corrupted and the problem
;;;                 has been fixed.
;;; 12-APR-94 mk    This FAQ is now available by WWW. See below for details.
;;; 12-APR-94 mk    Changed/updated many ftp references to enable them to
;;;                 appear as links in the WWW version of the FAQ. E-mail
;;;                 about references that weren't converted and/or other WWW
;;;                 resources is welcome.
;;;
;;; 1.18:
;;; 20-APR-94 mk    Added IBM SAA AD/Cycle Prolog to [2-2] and ICE (Integrated
;;;                 Constraint Engine) to [2-6].
;;; 22-APR-94 mk    Updated ftp information for ftp.gmd.de.
;;; 22-APR-94 mk    New edition of Sterling's book.
;;;  9-MAY-94 mk    Updated Arity email addresses.
;;; 12-MAY-94 mk    Added citation for the Goedel book to the Goedel entry.
;;; 12-MAY-94 mk    Added Koen De Bosschere's prolog parser (C) to [1-2].
;;; 12-MAY-94 mk    Added entry on Flach's Prolog book.
;;; 12-MAY-94 mk    Added entry on Karlsson's collection of Queens and Knights
;;;                 implementations.
;;;
;;; 1.19:
;;; 10-JUN-94 mk    Updated GMD Machine Learning in Prolog library entry.
;;; 12-JUN-94 mk    Added WAMCC Prolog to C compiler to [2-1].
;;; 12-JUN-94 mk    Added clp(FD) constraint logic programming
;;;                 language to [2-5]. 
;;; 12-JUN-94 mk    Updated Goedel information.
;;;
;;; 1.20:
;;; 15-JUN-94 mk    Updated Quintus information.
;;;  7-JUL-94 mk    Added entry on CIAL to [2-5].
;;;  7-JUL-94 mk    Added [1-14] World-Wide Web (WWW) Resources
;;;  8-JUL-94 mk    La liste prog-logique
;;;
;;; 1.21:
;;; 22-JUL-94 mk    Added note on the Prolog Section of the CMU AI Repository
;;;                 to [1-5], including information on keyword searching, the
;;;                 AI CD-ROM, etc., etc., etc.
;;; 12-AUG-94 mk    Updated AAIS Prolog entry in [2-2].
;;;
;;; 1.22:
;;; 15-AUG-94 mk    Added [1-16] Prolog Job Postings
;;; 17-AUG-94 mk    Updated Tricia Prolog in [2-1].
;;; 23-AUG-94 mk    Added entry on BAP (parallel prolog for transputer) to
;;;                 [2-3].
;;; 25-AUG-94 mk    Some formatting changes and minor reorganization.
;;; 26-AUG-94 mk    Added Boizumault Prolog to [2-1].
;;; 31-AUG-94 mk    New version of Beta-Prolog in [2-1].
;;;
;;; 1.23:
;;; 14-SEP-94 mk    Updated Prolog by BIM entry in [2-2].
;;; 14-SEP-94 mk    Added ClauseDB in new section [2-9] Other Commercial Prolog
;;;                 Products.
;;; 22-SEP-94 mk    Added entry on Chris Moss's Prolog++ book to [1-3].
;;; 22-SEP-94 mk    Updated SICStus Prolog entry in [2-2].
;;; 23-SEP-94 mk    Removed entries for IBM SAA AD/Cycle Prolog and ICE from
;;;                 part 2, as they are no longer being actively marketed.
;;;  6-OCT-94 mk    Added [2-10] on prolog extensions, and added ProFIT to that
;;;                 section.
;;;  6-OCT-94 mk    ALE v2.0 now available by anon ftp [1-5].
;;;  7-OCT-94 mk    Updated ProTCL entry.
;;;  7-OCT-94 mk    Added Umrigar's flowchart partial evaluator to [1-5].
;;; 12-OCT-94 mk    Updated IF/Prolog entry.
;;; 12-OCT-94 mk    Added [1-17] Is Prolog really used in Windows NT?
;;;
;;; 1.24:
;;; 13-OCT-94 mk    Added Hdrug to [1-5].
;;; 13-OCT-94 mk    Added FW_Rules to [1-5].
;;; 14-OCT-94 mk    Added KLIC entry and removed PDSS entry in [2-3].
;;; 14-OCT-94 mk    Updated Quintus entry in [2-2].
;;; 20-OCT-94 mk    Updated prices for books by Dennis Merritt of Amzi! Inc.
;;; 20-OCT-94 mk    Added entry on GT-Prolog (prolog for Amiga) to [2-2].
;;; 28-OCT-94 mk    WWW archive of articles from the LP Newsletter.
;;; 28-OCT-94 mk    WWW page for ILOG.
;;; 10-NOV-94 mk    Updated ESL Prolog-2 entry.
;;;
;;; 1.25:
;;;  7-DEC-94 mk    Updated LIFE entry in part 2.
;;;
;;; 1.26:
;;; 16-JAN-95 mk    Added [1-18] History of Prolog.
;;; 16-JAN-95 mk    Updated IF/Prolog entry in part 2.
;;; 17-JAN-95 mk    Updated PNLA ftp address.
;;; 26-JAN-95 mk    Added DFKI Oz to [2-5].
;;;
;;; 1.27:
;;; 20-FEB-95 mk    Added LogTalk entry to [1-6].
;;;
;;; 1.28:
;;; 13-MAR-95 mk    Added two articles suggested by Joern Dinkla to [1-18].
;;; 
;;; 1.29:
;;; 14-JUL-95 mk    Updated Open Prolog entry.
;;;


;;; ********************************
;;; Information removed from FAQ ***
;;; ********************************

Deleted: CLS has been disbanded and Trilogy is no longer sold.
Trilogy is a constraint system developed by Complete Logic Systems. It
costs $100. For more information, write to Complete Logic Systems, Inc,
741 Blueridge Avenue, V7R 2J5, North Vancouver BC, Canada, or call
604-986-3234. [This phone number was recently disconnected -- does
the company still exist?] President is Paul Voda, <voda@nic.fmph.uniba.sk>.

[Replaced with updated info.]
Quintus Prolog is a low level emulator that runs on Unix (Sparc, sun2,
sun3, sun4, 386i, VAX (Ultrix, VMS), uVAX (Ultrix), HP9000, Apollo,
DecStation, IBM RT, Sequent S/27, S/81, IBM PS/2 (AIX), Intel 80386
(Unix V.3), Intergraph, Solbourne, RS/6000, and MIPS), IBM PC (DOS,
Windows), and Macintosh. Includes a cross-referencing facility. For
more information, contact Quintus Corporation, 2100 Geng Road, Palo
Alto, CA 94303, call 1-800-542-1283 (415-813-3800), fax 415-494-7608,
or email sales@quintus.com (sales), teksup@quintus.com (tech support).
To be added to the users group mailing list, send mail to
quintus-users-request@quintus.com. Version 3.0 reviewed in AI Expert
January 1991 and February 1991 and IEEE Expert April 1991. LPA
products are distributed in North America by Quintus under the Quintus name.


IBM Prolog. The IBM SAA AD/Cycle Prolog family consists of products
for both OS/2 2.x and S/370 (VM, MVS (TSO, CICS or IMS)).  IBM Prolog
is a complete implementation of the Prolog language with several
extensions.  Full compatibility exists between the OS/2 and the host
environments, allowing applications developped in one environment to
run on another environment.  IBM SAA AD/Cycle Prolog features an interpreter,
incremental and full compilers, 32-bit mode execution on OS/2 V2,
source-level interactive debugger, interfaces with usual languages (C
and REXX) and ES/2 Database Manager, and an interface to the
Presentation Manager.  The advanced features include delayed
evaluation, global terms, extended data types (big integers and
rationals, items, arrays, user-defined types), support for modularity,
computable expressions, multiple and user-defined syntaxes, automatic
garbage collection, multiple-priority logical interrupts and complete
error recovery.  The development environment features a windowed
development environment and extensive on-line documentation.  Finally,
the Extension Feature of IBM SAA AD/Cycle Prolog/2 offers access to
general-purpose object-oriented programming facilities.  These support
object attributes, inheritance, demons, methods, and message passing.
They are supported by a specific development environment including an
integrated, interactive debugger.  Prolog code can be treated as an
object. For more information, write to Wayne Chan <waynec@vnet.ibm.com>, 
IBM Prolog Product Manager, 93881 Noisy-le-Grand CEDEX. Please
reference "Program Number 5696-308 (OS/2) 5696-309(MVS & VM)".
[OS/2 product no longer sold]

ICE (Integrated Constraint Engine) is a Constraint Logic Programming
extension to IBM SAA AD/Cycle Prolog for OS/2. ICE contains a linear
constraint solver and a domain reduction solver, working on real
interval variables and finite domain (and boolean) variables. The real
linear solver is based on a revised Simplex technology, which gives it
excellent performance for a CLP language. It features: detection of
implicit equalities, minimization and maximization predicates, query
for a solution, delay of non-linear equations, control of precision
and refactorization.  The domain reduction solver handles both
continuous and finite domain variables. The solver handles both
(non-)linear arithmetic constraints and several "symbolic" constraints
(min, max, element, no_overlap...).  A complete set of tools for
handling Boolean constraints is also provided. When dealing with real
variables, the solution can be refined using the dichotomy and
solve-by-refutation predicates built into ICE.  Finally, basic
primitives are offered for implementing various implicit enumeration
schemes.  But the most important feature and novelty of ICE is the
tight integration between the two solvers: when a variable appears
both in linear and domain reduction constraints, variations on its
bounds computed by one solver are taken into account by the other.
This allows the use of ICE for many complex, hybrid problems, as well
as for more classical Mixed Integer Linear Programming problems, for
which a generic Branch & Bound procedure is also provided. Other
features of ICE include advanced meta-programming, compilation of
constraints and the ability to build ICE on top of an existing IBM
Prolog workspace.  ICE comes with both paper and on-line documentation
as well as several examples showing its capabilities.  For more
information, write to Henri Beringer <beringer@vnet.ibm.com> or Bruno
De Backer <bdb@vnet.ibm.com>, IBM France Scientific Center, 68-76 Quai
de la Rap'ee, 75592 PARIS CEDEX 12, FRANCE. Please reference "Program
Number 5797-SW2".
[Depends on IBM Prolog]


IF/Prolog old address:
European
Customers may write to  Computer GmbH, Garmischer Strasse 4,
D-8000 Muenchen 2, Germany, call +49 89 5108655, fax +49 89 5108628, or
email vp@IFComputer.de. Reviewed in AI Expert January 1991. 
[According to a December 7, 1993, announcement by Peter Richter,
IF/Prolog has been purchased by Siemens Nixdorf Informationssysteme AG
(SNI) of Munich, Germany.  SNI will continue to support IF/Prolog across
ALL modern UNIX, VMS and DOS platforms together with its own SNI Prolog
system (see below) and offer services for both systems.  Direct
questions to Annette Kolb, IF Computer GmbH, Otto-Hahn-Ring 6, D-81739
Munich, phone 49-89-636-46089, fax 49-89-636-40140, e-mail
prolog@mch.sni.de.]


ESL Prolog-2 sold to ESI
 Expert Systems Limited (ESL), Attn: Nick Henfrey,
The Magdalen Centre, Oxford Science Park, Oxford, OX4 4GA, England, call
+44-865-784474, fax +44-856-784475, or email <sales@expert.demon.co.uk>.
The email address for tech support is support@expert.demon.co.uk. 


Replaced
IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
the PROLOG language, combined with a powerful programming environment,
especially designed for the IBM RISC System/6000 under AIX. PFA was
developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
System/6000 under AIX. It was selected by IBM Europe as their
official PROLOG implementation for the RISC System/6000 (Program
Number 5776-FAH). For more information: In North-America contact BIM
systems, 11111 Santa Monica Bld, call 310-445-1500, fax to
+310-445-1515; in Europe contact your local IBM representative.
Elsewhere contact BIM, Kwikstraat 4, B-3078 Everberg, Belgium, call
+32 2 759 59 25, or fax +32 2 759 92 09, or email prolog@sunbim.be.