home *** CD-ROM | disk | FTP | other *** search
/ ftp.pasteur.org/FAQ/ / ftp-pasteur-org-FAQ.zip / FAQ / prolog / resource-guide / part1 next >
Encoding:
Internet Message Format  |  1997-08-14  |  83.9 KB

  1. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!news-out.internetmci.com!infeed2.internetmci.com!newsfeed.internetmci.com!nntp.info.ucla.edu!nntp.club.cc.cmu.edu!cantaloupe.srv.cs.cmu.edu!mkant
  2. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  3. Newsgroups: comp.lang.prolog,comp.object.logic,news.answers,comp.answers
  4. Subject: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
  5. Supersedes: <PRG_1_868777228@CS.CMU.EDU>
  6. Followup-To: poster
  7. Date: 13 Aug 1997 07:22:59 GMT
  8. Organization: School of Computer Science, Carnegie Mellon University
  9. Lines: 1800
  10. Approved: news-answers-request@MIT.Edu
  11. Distribution: world
  12. Expires: 24 Sep 1997 07:00:20 GMT
  13. Message-ID: <PRG_1_871455620@CS.CMU.EDU>
  14. Reply-To: mkant+prg@cs.cmu.edu
  15. NNTP-Posting-Host: glinda.oz.cs.cmu.edu
  16. Xref: senator-bedfellow.mit.edu comp.lang.prolog:17756 comp.object.logic:1256 news.answers:109691 comp.answers:27567
  17.  
  18. Archive-name: prolog/resource-guide/part1
  19. Last-Modified: Thu Feb 20 12:54:26 1997 by Mark Kantrowitz
  20. Version: 1.36
  21. Maintainer: Mark Kantrowitz <mkant+prg@cs.cmu.edu>
  22. URL: http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  23. Size: 85332 bytes, 1808 lines
  24.  
  25. ;;; ****************************************************************
  26. ;;; Prolog Resource Guide ******************************************
  27. ;;; ****************************************************************
  28. ;;; prg_1.faq
  29.  
  30. This post contains the Prolog Resource Guide.
  31.  
  32. Contributions, corrections, suggestions, and comments should be sent
  33. to Mark Kantrowitz <mkant+prg@cs.cmu.edu>. 
  34.  
  35. This guide lists a variety of resources for the Prolog community,
  36. including books, magazines, ftp archives, and products. It is posted
  37. on the 13th of every month to the newsgroups comp.lang.prolog and
  38. comp.object.logic. The PRG is also posted to the newsgroups
  39. news.answers and comp.answers where they should be available at any
  40. time (ask your local news manager).
  41.  
  42. *** Copyright:
  43.  
  44. Copyright (c) 1992-94 by Mark Kantrowitz. All rights reserved.
  45.  
  46. This FAQ may be freely redistributed in its entirety without
  47. modification provided that this copyright notice is not removed.  It
  48. may not be sold for profit or incorporated in commercial documents
  49. (e.g., published for sale on CD-ROM, floppy disks, books, magazines,
  50. or other print form) without the prior written permission of the
  51. copyright holder.  Permission is expressly granted for this document
  52. to be made available for file transfer from installations offering
  53. unrestricted anonymous file transfer on the Internet.
  54.  
  55. If this FAQ is reproduced in offline media (e.g., CD-ROM, print form,
  56. etc.), a complimentary copy should be sent to Mark Kantrowitz, School
  57. of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue,
  58. Pittsburgh, PA 15213-3891 USA.
  59.  
  60. This article is provided AS IS without any express or implied warranty.
  61.  
  62. *** Recent Changes:
  63.  
  64. ;;; 1.30:
  65. ;;;  7-AUG-95 mk    Updated Amzi! entry in part 2.
  66. ;;;
  67. ;;; 1.31:
  68. ;;; 29-AUG-95 mk    Added ORISA Prolog entry to part 2.
  69. ;;; 29-AUG-95 mk    Added [1-19] about ISO Prolog Standard
  70. ;;; 30-AUG-95 mk    Updated entry for LPA Prolog in part 2.
  71. ;;; 12-SEP-95 mk    Several changes to [1-1], [1-3], [1-13], [1-15] and part 2
  72. ;;;                 (ALS Prolog and CLP(RI)) by Ken Bowen.
  73. ;;;
  74. ;;; 1.32:
  75. ;;; 18-SEP-95 mk    Updated Prolog by BIM and IBM Prolog entries.
  76. ;;;
  77. ;;; 1.33:
  78. ;;; 18-OCT-95 mk    Added entry on Mercury to [2-7].
  79. ;;;  9-NOV-95 mk    Updated ALP info - Logic Programming Newsletter and [1-4].
  80. ;;; 19-MAR-96 mk    Added note about Henderson paper to [1-10].
  81. ;;; 14-MAY-96 mk    Added entry for Visual Prolog to part 2.
  82. ;;; 14-MAY-96 mk    Updated LPA Prolog entry.
  83. ;;; 14-MAY-96 mk    Prolog Vendors' Group renamed Prolog Management Group, and
  84. ;;;                 email address changed due to Al Roth's death earlier this
  85. ;;;                 year.
  86.  
  87.  
  88. *** Topics Covered:
  89.  
  90. There are currently two parts to the PRG:
  91.  
  92.    1. Introductory Matter and General Questions
  93.    2. Prolog Implementations
  94.  
  95. Table of Contents (Part 1):
  96.  
  97.   [1-0]  Introduction
  98.   [1-1]  Sources of information about Prolog
  99.   [1-2]  Prolog and Logic Programming Related Mailing Lists
  100.   [1-3]  Books and Magazine Articles
  101.   [1-4]  Prolog and Logic Programming Associations and Journals
  102.   [1-5]  FTP Archives and Other Resources
  103.   [1-6]  Free Object-Oriented Systems for Prolog
  104.   [1-7]  Commercial Object-Oriented Systems for Prolog
  105.   [1-8]  The Prolog 1000 Database
  106.   [1-9]  X-Windows Interfaces
  107.   [1-10] Is there a straight-forward way of compiling Prolog to C?
  108.   [1-11] WAM emulators and tracers
  109.   [1-12] What is the Basic Andorra Model and AKL?
  110.   [1-13] What is Constraint Logic Programming?
  111.   [1-14] How do you write portable programs in Prolog?
  112.   [1-15] World-Wide Web (WWW) Resources
  113.   [1-16] Prolog Job Postings
  114.   [1-17] Is Prolog really used in Windows NT?
  115.   [1-18] History of Prolog
  116.   [1-19] The ISO Standard for Prolog and other Prolog standards
  117.   [1-A]  Acknowledgements
  118.  
  119. Prolog Implementations (Part 2):
  120.  
  121.   [2-0]  General information about Prolog Implementations
  122.   [2-1]  Free Prolog Implementations
  123.   [2-2]  Commercial Prolog Implementations
  124.   [2-3]  Free Parallel Prolog Implementations
  125.   [2-4]  Commercial Parallel Prolog Implementations
  126.   [2-5]  Free Constraint Systems
  127.   [2-6]  Commercial Constraint Systems
  128.   [2-7]  Free Logic Programming Systems
  129.   [2-8]  Commercial Logic Programming Systems
  130.   [2-9]  Other Commercial Prolog Products
  131.   [2-10] Prolog extensions, meta-interpreters, and pre-processors
  132.  
  133. Search for [#] to get to topic number # quickly. In newsreaders which
  134. support digests (such as rn), [CTRL]-G will page through the answers.
  135.  
  136. ----------------------------------------------------------------
  137. Subject: [1-0] Introduction
  138.  
  139. Certain questions and topics come up frequently in the various network
  140. discussion groups devoted to and related to Prolog and logic programming.
  141. This file/article is an attempt to gather these questions and their
  142. answers into a convenient reference for Prolog programmers.  It (or a
  143. reference to it) is posted periodically.  The hope is that this will
  144. cut down on the user time and network bandwidth used to post, read and
  145. respond to the same questions over and over, as well as providing
  146. education by answering questions some readers may not even have
  147. thought to ask.
  148.  
  149. This guide lists Prolog and logic programming resources: archives,
  150. newsgroups, books, magazines, compilers, interpreters and anything
  151. else you can think of which has to do with the proliferation of Prolog
  152. and logic programming. Also included is a list of suppliers of
  153. products and a list of publishers. Topics can also include
  154. unification, backtracking search, and other aspects of logic
  155. programming. As Prolog has a strong historical tradition in Europe,
  156. we've tried to ensure that the information is relevant to all readers,
  157. including European and North American.
  158.  
  159. This is not a Prolog tutorial, nor is it an exhaustive list of all Prolog
  160. intricacies.  Prolog is a very powerful and expressive language, but with
  161. that power comes many complexities.  This list attempts to address the
  162. ones that average Prolog programmers are likely to encounter.  If you are
  163. new to Prolog, read one of the introductions listed in the answer to
  164. question [1-3].
  165.  
  166. Please do not post homework questions to the comp.lang.prolog
  167. newsgroup. You won't learn anything if somebody else does the problem
  168. for you, and won't get any credit for your answer if your instructor
  169. reads the newsgroup. 
  170.  
  171. Please also avoid starting the debate on which language is better;
  172. Prolog or Lisp, Prolog or C, and so on. Such discussions are rarely
  173. productive, and nobody will change their opinion as a result of the
  174. debate. The usual conclusion of such debates is that the languages are
  175. Turing equivalent, but some languages are better suited for particular
  176. tasks. For Prolog, the consensus is that it is a good choice for
  177. problems involving logic and problems whose solution can be
  178. represented or characterized succinctly in logical form. Some folks
  179. feel Prolog is the best language for natural language processing;
  180. others disagree.
  181.  
  182. The comp.lang.prolog newsgroup is archived in
  183.    ftp.cs.cmu.edu:/user/ai/pubs/news/comp.lang.prolog/
  184. on a weekly basis.
  185.  
  186. This guide is posted regularly to comp.lang.prolog and comp.object.logic. 
  187. It may also be obtained by anonymous ftp from 
  188.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/prolog/  [128.2.206.173]
  189. using username "anonymous" and password "name@host" (substitute your
  190. email address) or via AFS in the Andrew File System directory
  191.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/prolog/
  192. as the files prg_1.faq and prg_2.faq.
  193.  
  194. You can also obtain a copy of the FAQ by sending a message to
  195. ai+query@cs.cmu.edu with 
  196.    Send PRG
  197. in the message body.
  198.  
  199. The FAQ postings are also archived in the periodic posting archive on
  200.    rtfm.mit.edu:/pub/usenet/news.answers/prolog/ [18.181.0.24]
  201. If you do not have anonymous ftp access, you can access the archive by
  202. mail server as well.  Send an E-mail message to
  203. mail-server@rtfm.mit.edu with "help" and "index" in the body on
  204. separate lines for more information.
  205.  
  206. An automatically generated HTML version of the PRG is accessible by
  207. WWW as part of the AI-related FAQs Mosaic page. The URL for this
  208. resource is
  209.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/top.html
  210. The direct URL for the PRG is
  211.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  212.  
  213. If you need to cite the FAQ for some reason, use the following format:
  214.    Mark Kantrowitz, "Prolog Resource Guide", comp.lang.prolog, <month>, <year>,
  215.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/prolog/prg_?.faq, mkant+prg@cs.cmu.edu.
  216.  
  217. Disclaimer:
  218.  
  219.    We have taken great care in making the information in this document as
  220.    accurate as possible. However we are not responsible for any problems
  221.    which might occur from using information supplied in this guide.
  222.  
  223. ----------------------------------------------------------------
  224. Subject:  [1-1]  Sources of Information about Prolog
  225.  
  226. The newsgroups comp.lang.prolog, comp.object.logic, and (to a lesser
  227. extent) comp.ai are a source of information and discussion about Prolog. 
  228. See also sci.logic. The newsgroup comp.constraints is for information
  229. about constraint processing languages and related topics. 
  230.  
  231. A "Frequently Asked Questions" posting is posted to comp.lang.prolog
  232. twice a month by Jamie Andrews <jamie@cs.sfu.ca>. The Prolog FAQ and this
  233. Prolog Resource Guide are intended to complement one another.
  234.  
  235. Several WWW resources are available (see also [1-5] and [1-15]):
  236.  
  237.    CMU Prolog Repository.  Extensive archives of code, bibliographies,
  238.    FAQs, newsgroup postings, tech reports, and more.  The URL is:
  239.       http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/0.html
  240.  
  241.    NALP: North American Logic Programming.  World-wide coverage
  242.    with some emphasis on developing LP in North America. The URL is:
  243.       http://www.als.com/nalp.html
  244.  
  245.    Logic Programming Archive at Oxford Comlab.  World-wide coverage
  246.    with emphasis on Europe.  The URL is:
  247.       http://www.comlab.ox.ac.uk/archive/logic-prog.html
  248.  
  249. ----------------------------------------------------------------
  250. Subject: [1-2] Prolog and Logic Programming Related Mailing Lists
  251.  
  252. Prolog and Logic Programming:
  253.    prolog@sushi.stanford.edu (general)
  254.    prolog-hackers@sushi.stanford.edu (nitty gritty)
  255.  
  256.    All requests to be added to or deleted from this list, problems,
  257.    questions, etc., should be sent to prolog-request@sushi.stanford.edu
  258.  
  259.    [The host sushi.stanford.edu no longer exists, as of 11/24/92.
  260.     Does anybody know the new location of the mailing lists?]
  261.  
  262. Lambda Prolog:
  263.    lprolog@cis.upenn.edu
  264.  
  265.    To subscribe, send mail to lprolog-request@cis.upenn.edu.
  266.  
  267. Mercury:
  268.     mercury-announce@cs.mu.oz.au (announcements)
  269.     mercury-users@cs.mu.oz.au (general discussion)
  270.     To subscribe, send mail to mercury-announce-request@cs.mu.oz.au
  271.     and/or mercury-users-request@cs.mu.oz.au (respectively) with
  272.     "subscribe" in the message body.
  273.  
  274. Electronic Journal of Functional and Logic Programming (EJFLP)
  275.  
  276.    EJFLP is a refereed journal that will be distributed for free via e-mail.
  277.    The aim of EJFLP is to create a new medium for research investigating the
  278.    integration of the functional, logic and constraint programming paradigms.
  279.  
  280.    For instructions on submitting a paper, send an empty mail message with 
  281.       Subject: Help
  282.    to: 
  283.       submissions@ls5.informatik.uni-dortmund.de. 
  284.    You will receive an acknowledgment of your submission within a few hours.
  285.  
  286.    To subscribe to the journal, send an empty mail message to the following
  287.    address:
  288.        subscriptions@ls5.informatik.uni-dortmund.de
  289.    You will receive an acknowledgment of your subscription within a few days. 
  290.  
  291.    If there are any problems with the mail-server, send mail to
  292.    ejflp.op@ls5.informatik.uni-dortmund.de. 
  293.  
  294.    The editorial board is: Rita Loogen (RWTH Aachen), Herbert Kuchen (RWTH
  295.    Aachen), Michael Hanus (MPI-Saarbruecken), Manuel MT Chakravarty (TU
  296.    Berlin), Martin Koehler (Imperial College London), Yike Guo (Imperial
  297.    College London), Mario Rodriguez-Artalejo (Univ. Madrid), Andy Krall
  298.    (TU Wien), Andy Mueck (LMU Muenchen), Tetsuo Ida (Univ. Tsukuba,
  299.    Japan), Hendrik C.R. Lock (IBM Heidelberg), Andreas Hallmann (Univ.
  300.    Dortmund), Peter Padawitz (Univ. Dortmund), Christoph Brzoska (Univ.
  301.    Karlsruhe).
  302.  
  303.    [The JFLP is now being published by MIT Press. Please see the JFLP web
  304.    page at the URL
  305.       http://www.cs.tu-berlin.de/~chak/jflp/
  306.    or the MIT Press web page at
  307.       http://mitpress.mit.edu/jrnls-catalog/journals-toc.html
  308.    or send email to
  309.       journals-info@mit.edu
  310.    for further information.]
  311.  
  312. PDC-L:
  313.    PDC-L@nic.surfnet.nl is a discussion list for PDC Prolog users.
  314.  
  315.    To subscribe, send mail to LISTSERV@nic.surfnet.nl with 
  316.        SUBSCRIBE PDC-L <your full name>
  317.    in the message body.
  318.  
  319. Theorem Provers:
  320.    theorem-provers@ai.mit.edu
  321.  
  322.    This (unmoderated) list is intended for announcements of interest to
  323.    people interested in automated theorem proving.
  324.  
  325.    To subscribe, send your email address to theorem-provers-request@ai.mit.edu.
  326.  
  327. Type Theory:
  328.    types@dcs.gla.ac.uk
  329.  
  330.    Moderated mailing list about type theory. Archived on 
  331.       theory.lcs.mit.edu:/pub/meyer/
  332.  
  333.    To subscribe, send mail to types-request@dcs.gla.ac.uk.
  334.  
  335. Logic:
  336.    logic@cs.cornell.edu
  337.  
  338.    Moderated mailing list about logic. Archived on 
  339.       theory.lcs.mit.edu:/pub/meyer/
  340.   
  341.    To subscribe, send mail to logic-request@cs.cornell.edu
  342.  
  343. ALP (French Chapter):
  344.    prog-logique@irisa.fr
  345.  
  346.    La liste de diffusion "prog-logique" est le support electronique de
  347.    communication de la section francaise de l'ALP (Association for Logic
  348.    Programming), groupe de travail AFCET. Elle complete la lettre du
  349.    groupe publiee trimestriellement.
  350.  
  351.    Pour vous abonner ou vous desabonner, il faut envoyer un "mail" au
  352.    serveur de listes, a l'adresse 
  353.       listserv@irisa.fr
  354.    sans sujet ni signature, et dont le corps du message contient 
  355.         SUB prog-logique Prenom Nom
  356.    Un acquittement est renvoye par messagerie. Pour desabonnement, ecrit
  357.         SIGNOFF prog-logique
  358.    Les requetes envoyees directement a la liste ne seront pas prises en
  359.    compte.
  360.  
  361. ----------------------------------------------------------------
  362. Subject: [1-3] Books and Magazine Articles
  363.  
  364. A BiBTeX bibliography of Logic Programming Conferences is available by
  365. anonymous ftp from duck.dfki.uni-sb.de. See [1-5] below.
  366.  
  367. A partially annotated bibliography of work on integrating
  368. object-oriented and logic programming is available by anonymous ftp
  369. from menaik.cs.ualberta.ca:/pub/oolog/ in PostScript and BibTeX
  370. formats. Written by Vladimir Alexiev <vladimir@cs.ualberta.ca>.
  371.  
  372. The following books are regarded as popular and widely used. Also
  373. included are some books about WAM. This is not intended to be a complete
  374. Prolog bibliography.
  375.  
  376. Prolog Programming:
  377.  
  378.    Covington, Michael A.; Nute, D.; and Vellino, A. "Prolog
  379.    Programming in Depth", Scott, Foresman & Co., 1987. ISBN 0-521-40984-5
  380.    (Out of print, but new edition coming soon. Copies of the 1987
  381.    edition are still available from the University of Georgia
  382.    Bookstore, at 706-542-7131.)
  383.    Book source code available at:
  384.       http://www.als.com/ftp/pub/texts/texts.html
  385.  
  386.    Bowen, Kenneth A. "Prolog and Expert Systems", Mcgraw-Hill, Inc., 
  387.    1991, ISBN 0-07-006731-7 ($29.95).  Book source code available at:
  388.       http://www.als.com/ftp/pub/texts/texts.html
  389.  
  390.    Clocksin, W.F. and Mellish, C.S: "Programming in Prolog", 3rd Ed.
  391.    Springer Verlag, 1987. 281 pages, ISBN 0-387-17539-3 ($29). 
  392.    [Basic introduction to Prolog.]
  393.  
  394.    Coelho, H., and Cotta, J.C., "Prolog by Example", Springer Verlag,
  395.    1988. 381 pages, ISBN 0-387-18313-2 ($39.50).
  396.  
  397.    Cooke, Daniel E., "Logic: The Basis for Understanding Prolog", 
  398.    Ablex, Norwood, NJ, 1994. 224 pages, ISBN 1-56750-028-5 ($27.50).
  399.    [Intro to Prolog with a review of the basic ideas underlying the language.]
  400.  
  401.    Conlon, Tom: "Programming in Parlog". Addison-Wesley, 1989, 
  402.    ISBN 0-201-17450-2.
  403.  
  404.    Dawe, C.M. and M.S. Dawe, "Prolog for Computer Science", Springer
  405.    Verlag, 1994. 190 pages, ISBN 0-387-19811-3 paper ($35). [Intro to
  406.    computer science using Prolog.]
  407.  
  408.    Dodd, Anthony, "Prolog: A logical approach", Oxford University
  409.    Press, New York, 1990, 556 pages. ISBN 0-198-53822-7 (cloth), $52.50; 
  410.    ISBN 0-198-53821-9 (paperback), $26.00.
  411.  
  412.    Kluzniak and Szpakowicz: "Prolog for Programmers", Academic Press 1985
  413.  
  414.    G. L. Lazarev, "Why Prolog? Justifying Logic Programming for Practical
  415.    Applications", Prentice Hall, 1989. [Software engineering bent.
  416.    Emphasizes advantages of declarative programming.]
  417.  
  418.    Le, Tu Van,  "Techniques of Prolog programming, with implementation
  419.    of logical negation and quantified goals", John Wiley, New York, 1993.
  420.    ISBN: 0-471-57175-X (American edition), 0-471-59970-O (International
  421.    edition).  LnProlog, a Prolog interpreter that supports negative
  422.    finding queries and quantified queries is available together with
  423.    the book. 
  424.  
  425.    Saint-Dizier, P., "An Introduction to Programming in Prolog",
  426.    Springer Verlag, 1990. 184 pages, ISBN 0-387-97144-0 paper ($25).
  427.    [Tutorial introduction, with simple examples of AI programs and games.]
  428.  
  429.    Leon Sterling, editor, "The Practice of Prolog", MIT Press, 1990.
  430.    342 pages, ISBN 0-262-19301-9, $39.95.
  431.  
  432. Advanced Prolog Programming:
  433.  
  434.    O'Keefe, Richard A., "The Craft of PROLOG", MIT Press, 1990, 410 pages.
  435.    ISBN 0-262-15039-5, $42.50.
  436.  
  437.    Peter Ross, "Advanced Prolog: Techniques and Examples",
  438.    Addison-Wesley, 1989, ISBN 0-201-17527-4.
  439.  
  440.    Leon Sterling and Ehud Shapiro, "The Art of Prolog: Advanced
  441.    Programming Techniques", 2nd Edition, MIT Press, 1994. 688 pages,
  442.    ISBN 0-262-19338-8 ($49.95).
  443.    [Source code for the book is available in ftp.cwru.edu:/ArtOfProlog/.
  444.     There is a subdirectory for each chapter of the book containing the
  445.     text of the programs in that chapter.]
  446.  
  447. AI and Prolog:
  448.  
  449.    Yoav Shoham, "Artificial Intelligence Techniques in Prolog", Morgan
  450.    Kaufmann Publishers, 1993, 400 pages. ISBN 1-55860-167-8 (paper) $39.95. 
  451.    ISBN 1-55860-319-0 (cloth) $49.95. [Topics include search, backward
  452.    chaining, data-driven methods, truth maintenance, constraint
  453.    satisfaction, reasoning with uncertainty, planning, temporal
  454.    reasoning, machine learning, and natural language processing. Prolog
  455.    source for all the programs in the book is available by anonymous ftp
  456.    from unix.sri.com:/pub/shoham/]
  457.  
  458.    Bratko, Ivan, "Programming in Prolog for Artificial Intelligence", 
  459.    2nd Edition, Addison-Wesley, 1990. [Good introduction to Prolog and AI.
  460.    A bit large, though, for an Intro to Prolog course. Includes
  461.    discussion of the 8-queens problem.]
  462.  
  463.    Dennis Merritt, "Building Expert Systems in Prolog", Springer-Verlag, 1989.
  464.    358 pages, ISBN 0-387-97016-9 hardcover ($52).
  465.    Explains how to build various expert system shells in Prolog, including
  466.    forward/backward chaining, FOOPS, rete-network, frames, solving
  467.    Rubik's cube and more. Includes complete source code listings.
  468.    (Source code from the book is also sold on disk by Amzi! Inc. and
  469.    is available by anonymous FTP from
  470.       ftp.std.com:/ftp/vendors/amzi/programs/
  471.       ftp.cs.cmu.edu:/user/ai/areas/expert/systems/amzi/programs/
  472.    as the files xsip.*)
  473.  
  474.    Dennis Merritt: "Adventure in Prolog", Springer-Verlag, 1990. 
  475.    186 papers, ISBN 0-387-97315-X hardcover ($38).
  476.    Teaches Prolog by leading the reader through the construction of an
  477.    adventure game. The exercises lead the reader through three other
  478.    programs:  an intelligent database, an expert system and an order-entry
  479.    program.  While most texts teach Prolog with fragments of interesting code,
  480.    this book takes a more pragmatic (as opposed to theoretical approach) and
  481.    shows the reader how to assemble complete Prolog programs.
  482.  
  483.    Gazdar, G. and Mellish, C., "Natural Language Processing in Prolog:
  484.    An Introduction to Computational Linguistics", Addison-Wesley,
  485.    Reading, Massachusetts, 1989. (There are three different editions
  486.    of the book, one for Lisp, one for Prolog, and one for Pop-11.)
  487.  
  488.    Fernando C.N. Pereira and Stuart M. Shieber, "Prolog and
  489.    Natural-Language Analysis", CSLI Lecture Notes Number 10, Stanford,
  490.    CA, 1987. 286 pages, ISBN 0-937073-18-0.
  491.  
  492.    Michael A. Covington, "Natural Language Processing for Prolog
  493.    Programmers", Prentice-Hall, Englewood Cliffs, NJ, 1994. ISBN
  494.    0-13-629213-5.
  495.  
  496.    Harvey Abramson and Veronica Dahl, "Logic Grammars", Springer-Verlag,
  497.    New York, 1989, 234 pages, ISBN 0-387-96961-6.
  498.  
  499.    Peter Flach, "Simply Logical: Intelligent Reasoning by Example",
  500.    John Wiley & Sons, 1994, 256 pages. ISBN 0-471-94152-2 paper ($31.95).
  501.    [Covers theoretical and practical aspects of Prolog programming as well
  502.    as AI topics like knowledge representation, search, heuristics, 
  503.    abduction, default reasoning, and induction. Every technique is
  504.    accompanied by a Prolog program that implements it. More information
  505.    about the book is available from  
  506.       http://machtig.kub.nl:2080/Infolab/Peter/SimplyLogical.html
  507.    or by email from Peter.Flach@kub.nl.]
  508.  
  509. Prolog and Object-Oriented Programming:
  510.  
  511.    Chris Moss, "Prolog++ The Power of Object-Oriented and Logic
  512.    Programming", Addison-Wesley, 1994. 312 pages, ISBN 0-201-56507-2. UK
  513.    price is 21.95 pounds. [This paperback includes a special offer to
  514.    obtain a Prolog++ compiler from LPA for Windows 3.1 or Macintosh. UK
  515.    price is 29.95 pounds (plus 17.5 percent VAT) plus 5.00 pounds postage
  516.    and handling. Elsewhere the cost is $49.95 plus $8 p&h.]
  517.  
  518. Logic Programming:
  519.  
  520.    Hogger, Christopher J., "Introduction to Logic Programming",
  521.    Academic Press, 1984. 278 pages. ISBN 0-12-352090-8 (alk. paper)
  522.    ISBN 0-12-352092-4 (pbk.).
  523.  
  524.    Hogger, Christopher J., "Essentials of Logic Programming", 
  525.    Clarendon Press, Oxford, 1990. ISBN 0-19-853820-0. [Covers both
  526.    foundations and more practical material, relating it all to Prolog.
  527.    Takes a different approach than his first intro, dividing the book
  528.    into many short "themes" instead of chapters, and including many
  529.    excercises (with some answers).]
  530.  
  531.    Kowalski, R.A.: "Logic for Problem Solving", New York 1979, Elsevier Publ.
  532.  
  533.    LLoyd, John: "Foundations of Logic Programming", 2nd Edition,
  534.    Springer-Verlag, 1988. (Intro to logic programming theory.)
  535.  
  536.    David Maier and David S. Warren: "Computing with Logic: Logic
  537.    Programming with Prolog", Benjamin Cummings, Menlo Park, CA, 1989.
  538.  
  539.    Nilsson, Ulf and Maluszynski, Jan, "Logic, Programming and Prolog",
  540.    John Wiley & Sons, 1990, ISBN 0-471-92625-6.
  541.  
  542.    Subrata Kumar DAS, "Deductive Databases and Logic Programming",
  543.    Addison-Wesley Publishing Company, July 1992, 448 pages. 
  544.    ISBN 0-201-56897-7. 
  545.  
  546. Constraint Logic Programming and Constraint Satisfaction:
  547.  
  548.    Bennaceur, Hachemi and Gerard Plateau, "An exact algorithm for the
  549.    constraint satisfaction problem: Application to logical inference",
  550.    Information Processing Letters 48(3):151-158, November 19, 1993.
  551.  
  552.    Cohen, J., "Constraint Logic Programming Languages", Communciations
  553.    of the ACM 33(7):52-68, 1992. [Good introduction to CLP and
  554.    includes a historical overview.]
  555.  
  556.    Freeman-Benson, B.N., Maloney, J., and Borning, A., "An Incremental
  557.    Constraint Solver", Communications of the ACM 33(1):54-63, 1990.
  558.    [Includes a good reading list on the history and applications of
  559.    constraints.]
  560.  
  561.    Freuder, Eugene C., and Richard J. Wallace, "Partial constraint
  562.    satisfaction", Artificial Intelligence 58(1-3):21-70, December 1992.
  563.  
  564.    Van Hentenryck, Pascal, "Constraint Satisfaction in Logic Programming",
  565.    MIT Press, Cambridge, MA, 1989, ISBN 0-262-08181-4.
  566.  
  567.    Jaffar, Joxan and Jean-Louis Lassez, "Constraint Logic Programming", in
  568.    Proceedings of the 14th ACM Symposium on Principles of Programming
  569.    Languages (POPL), Munich, Germany, pages 111-119, 1987.  
  570.    [A longer version appears in Joxan Jaffar and Jean-Louis Lassez,
  571.    "Constraint Logic Programming", Technical Report 86-74, Monash
  572.    University, Victoria, Australia, June 1986.]
  573.  
  574.    Kumar, Vipin, "Algorithms for Constraint-Satisfaction Problems: A
  575.    Survey", AI Magazine 13(1):32-44, 1992.
  576.  
  577.    Mackworth, Alan K., "The logic of constraint satisfaction", Artificial
  578.    Intelligence 58:3-20, 1992.
  579.  
  580.    Meseguer, P., "Constraint Satisfaction Problems: An Overview", AICOM
  581.    2(1):3-17, 1989.
  582.  
  583.    Steele, Guy L., "The Definition and Implementation of A Computer
  584.    Programming Language Based on Constraints", PhD thesis, MIT, 1980.
  585.  
  586.    Tsang, Edward, "Foundations of Constraint Satisfaction", Academic
  587.    Press, 1993. 421 pages, ISBN 0-12-701610-4 ($75). [Good overview.]
  588.  
  589.    Zhang, Ying and Alan K. Mackworth, "Constraint Programming in
  590.    Constraint Nets", in Position Papers for the First Workshop on
  591.    Principles and Practice of Constraint Programming, pages 303-312,
  592.    Newport, RI, April 28-30, 1993.
  593.  
  594.    [See also the articles on Constraint Networks (pages 276-285) and
  595.    Constraint Satisfaction (pages 285-293) in Shapiro's Encyclopedia
  596.    of Artificial Intelligence.]
  597.  
  598. Prolog Implementations and WAMs:
  599.  
  600.    Ait-Kaci, Hassan, "Warren's Abstract Machine: A Tutorial Reconstruction",
  601.    MIT Press, Cambridge, MA. 1991.
  602.    125 pages, ISBN 0-262-51058-8 paper ($17.50), 0-262-01123-9 cloth.
  603.  
  604.    Patrice Boizumault, "The Implementation of Prolog", Princeton
  605.    University Press, Princeton, NJ, 1993.  Translated by Ara M.
  606.    Djamboulian and Jamal Fattouh. ISBN 0-691-08757-1, 357 pages ($49.50).
  607.    [The interpreters developed in the book are available by anonymous
  608.    ftp from cnam.cnam.fr:/pub/Boizumault/. See [2-1].]
  609.  
  610.    Campbell, J.A. (ed):  "Implementations of Prolog", John Wiley, 1984
  611.  
  612.    Peter M. Kogge, "The Architecture of Symbolic Computers", 
  613.    McGraw-Hill, 1991. ISBN 0-07-035596-7.
  614.       Includes sections on memory management, the SECD and
  615.       Warren Abstract Machines, and overviews of the various
  616.       Lisp Machine architectures.
  617.  
  618.    David Maier and David S. Warren, "Computing with Logic: Logic 
  619.    Programming with Prolog", Benjamin/Commings Publishing Co., 1988.
  620.    ISBN 0-8053-6681-4.
  621.  
  622.    David H. D. Warren: "An Abstract Prolog Instruction Set", Technical Note
  623.    No 309, SRI International, Menlo Park, CA, 1983.
  624.  
  625.    David H. D. Warren, "Logic Programming and Compiler Writing," in
  626.    Software-Practice and Experience 10(2):97-125, 1980.
  627.  
  628.    J. Cohen and T. Hickey, "Parsing and Compiling using Prolog",
  629.    ACM Transactions on Programming Languages and Systems (TOPLAS), 
  630.    9(2):125-163, 1987.
  631.  
  632.    J. Paakki, "Prolog in practical compiler writing", The Computer
  633.    Journal 34(1):64-72, 1991. (But see Letters to the Editor, The
  634.    Computer Journal 35(3):313, 1992.)
  635.  
  636.    Jonathan P. Bowen, "From Programs to Object Code using Logic and Logic
  637.    Programming", in R. Giegerich and S. L. Graham, editors, Code
  638.    Generation -- Concepts, Tools, Techniques, pages 173-192,
  639.    Springer-Verlag, 1992.
  640.  
  641.    Jonathan P. Bowen, "From Programs to Object Code and back again using
  642.    Logic Programming: Compilation and Decompilation", Journal of
  643.    Software Maintenance: Research and Practice 5(4):205-234, December 1993.
  644.  
  645. Parallel Prologs:
  646.  
  647.    Gregory, Steve: "Parallel Logic Programming in Parlog: The Language
  648.    and Its Implementation", Addison-Wesley, 1987, ISBN 0-201-19241-1.
  649.  
  650.    Tick, E.: "Parallel Logic Programming". MIT Press, 1991
  651.  
  652. Miscellaneous:
  653.  
  654.    Deville, Yves: "Logic Programming, Systematic Program Development",
  655.    International Series in Logic Programming, Addison-Wesley, 1990, 338 pages.
  656.    ISBN 0-201-17576-2. 
  657.  
  658.    Wolfram, D.A., "The Clausal Theory of Types", Cambridge Tracts in 
  659.    Theoretical Computer Science {\bf 21}, Cambridge University Press,
  660.    1993.
  661.  
  662. Magazine Articles:
  663.  
  664.    PCAI Magzine, September/October 1993. Article on exploring Prolog,
  665.    showing the first steps to four applications -- an adventure game, an
  666.    object-oriented shell, a tax program, and an animal guessing game.
  667.    An excerpt of this article is available from
  668.       ftp.cs.cmu.edu:/user/ai/lang/prolog/doc/intro/explore.doc 
  669.  
  670.    BYTE Magazine, August 1987. 5 introductory articles on Prolog.
  671.    Applications include logic grammars and simulating a microprocessor.
  672.  
  673.    Uwe Schreiweis: Beredte Logik, Konzepte der 'KI-Sprache" Prolog,
  674.    (Eloquent Logic, Concepts of the AI language Prolog), iX Magazine,
  675.    October 1992, pages 84-90.
  676.  
  677.    Uwe Schreiweis: Basis der Fuenf, Die Sprache Prolog in der Public
  678.    Domain, (Base of the Five, Prolog in the Public Domain), iX Magazine,
  679.    October 1992, pages 92-94.
  680.  
  681.    Uwe Schreiweis: Fuenfte Generation, Kommerzielle Prolog-Systeme,
  682.    (Fifth Generation, Commercial Prolog Systems), iX Magazine, October
  683.    1992, pages 96-102.
  684.  
  685.    Klaus Bothe: Weniger Raum, Speicherplatzbezogener Prolog-Benchmark,
  686.    (Less Space, A Space Oriented Prolog Benchmark), iX Magazine, October
  687.    1992, pages 106-7.
  688.  
  689. Magazines Related to Prolog:
  690.  
  691.    Logic Programming Newsletter (4 issues/yr)
  692.    Included with membership in the Association for Logic Programming 
  693.    ($30 regular, $15 students). For membership information, write to
  694.    Valerie Anderson (ALP), DoC-ICSTM, 180 Queens Gate, London SW7 2BZ,
  695.    UK, phone +44-171-594-8226, fax +44-171-589-1552, or send email
  696.    to alp@doc.ic.ac.uk. Contributions are welcome and should be sent
  697.    to Andrew Davidson <ad@cs.mu.oz.au>. Selected articles from the
  698.    newsletter are available from the WWW archive
  699.       http://www.cs.mu.oz.au/~ad/alp/archive.html
  700.  
  701.    AI Communications (4 issues/yr)
  702.    "The European Journal on Artificial Intelligence"  ISSN 0921-7126,
  703.    European Coordinating Committee for Artificial Intelligence.
  704.  
  705.    AI Expert (issued monthly) ISSN 0888-3785, Miller Freeman Publishers
  706.    See a copy of the magazine for list of BBS's in NA. On CompuServe: GO
  707.    AIEXPERT. Regularly reviews Prolog interpreters and compilers.
  708.    -- Ceased publication in June, 1995.
  709.  
  710.    PC AI (issued bi-monthly) ISSN 0894-0711, Knowledge Technology Inc.
  711.    Regularly reviews Prolog systems and applications.  
  712.    See http://www.pcai.com/pcai
  713.  
  714.    Expert Systems (issued Feb, May, Aug and Nov) ISSN 0266-4720,
  715.    Learned Information (Europe) Ltd. Subscription: GBP 85 or USD 110
  716.  
  717.    IEEE Expert (issued bimonthly) ISSN 0885-9000, IEEE Computer Society
  718.  
  719.    The Journal of Logic Programming (issued bimonthly), (North-Holland),
  720.    Elsevier Publishing Company, ISSN 0743-1066
  721.  
  722.    New Generation Computing, Springer-Verlag. (LOTS of Prolog in it.)
  723.  
  724. ----------------------------------------------------------------
  725. Subject: [1-4] Prolog and Logic Programming Associations and Journals
  726.  
  727. ASSOCIATION FOR LOGIC PROGRAMMING (ALP)
  728. Members receive the ALP Newsletter.
  729.  
  730. For information on membership ($30 regular, $15 students), contact
  731.  
  732.    Valerie Anderson
  733.    ALP Administrative Secretary
  734.    Department of Computing
  735.    Imperial College
  736.    180 Queen's Gate
  737.    London, SW7 2BZ, UK
  738.  
  739.    Email:   vpa@doc.ic.ac.uk
  740.    Fax:    +44 171 589 1552
  741.    Phone:  +44 171 594 8226
  742.  
  743. Newsletter submissions should be sent to
  744.  
  745.    Andrew Davison
  746.    Department of Computer Science
  747.    University of Melbourne
  748.    Parkville
  749.    Melbourne, Victoria 3052
  750.    AUSTRALIA
  751.  
  752.    Email:   ad@cs.mu.oz.au
  753.    Fax:    +61 3 348 1184
  754.    Phone:  +61 3 344 7207 / 5230
  755.    Telex:   AA 35185
  756.  
  757. ----------------------------------------------------------------
  758. Subject: [1-5] FTP Archives and Other Resources
  759.  
  760. The following are achives that contain Prolog-related material, such as
  761. code, interpreters, articles, etc. Most of the archives are ftp sites.
  762. They are listed by domain.name and [IP Address]. To access them and
  763. download programs type at the prompt: 
  764.  
  765.         ftp <site name> (or IP address)
  766.         login: "anonymous",
  767.         password: your own return email address,
  768.         cd <directory>, ls to see files, 
  769.         set binary, 
  770.         get <filename> to transfer file to your system
  771.         stop with quit or exit
  772.  
  773. Deviations from this general scheme may occur but the above should
  774. work in most cases.
  775.  
  776. CMU AI Repository, Prolog Section:
  777.  
  778.    The Prolog Section of the CMU Artificial Intelligence Repository
  779.    (aka "The Prolog Repository") is accessible by anonymous ftp to
  780.       ftp.cs.cmu.edu:/user/ai/lang/prolog/ [128.2.206.173]
  781.    through the AFS directory
  782.       /afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/
  783.    or by WWW from the URL   
  784.       http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html
  785.    and includes more than 110 megabytes of sources and other materials
  786.    of interest to Prolog programmers, including all freely
  787.    distributable implementations and many programs. The contents of the 
  788.    CMU AI Repository has been keyword indexed to provide convenient
  789.    browsing of the contents.
  790.  
  791.    The repository has standardized on using 'tar' for producing
  792.    archives of files and 'gzip' for compression.
  793.  
  794.    To search the keyword index by mail, send a message to:
  795.       ai+query@cs.cmu.edu
  796.    with one or more lines containing calls to the keys command, such as:
  797.       keys prolog gui
  798.    in the message body.  Keywords may be regular expressions and are
  799.    compared with the index in a case-insensitive conjunctive fashion.  
  800.    You'll get a response by return mail. Do not include anything else in 
  801.    the Subject line of the message or in the message body.  For help on
  802.    the query mail server, include: 
  803.       help
  804.    instead. 
  805.  
  806.    A Mosaic interface to the keyword searching program is in the
  807.    works.  We also plan to make the source code (including indexes) to
  808.    this program available, as soon as it is stable.
  809.  
  810.    Most of the Prolog Section of the AI Repository appears on Prime Time 
  811.    Freeware for AI, Issue 1-1, a mixed-media book/CD-ROM publication. It
  812.    includes two ISO-9660 CD-ROMs bound into a 224 page book and sells
  813.    (list) for US$60 plus applicable sales tax and shipping and handling
  814.    charges. Payable through Visa, Mastercard, postal money orders in US
  815.    funds, and checks in US funds drawn on a US bank. For more
  816.    information write to Prime Time Freeware, 370 Altair Way, Suite 150,
  817.    Sunnyvale, CA  94086  USA, call 408-433-9662, 408-433-0727 (fax),
  818.    or send email to ptf@cfcl.com.
  819.  
  820.    Contributions of software and other materials are always welcome but
  821.    must be accompanied by an unambiguous copyright statement that grants
  822.    permission for free use, copying, and distribution -- either a
  823.    declaration by the author that the materials are in the public domain,
  824.    that the materials are subject to the GNU General Public License (cite
  825.    version), or that the materials are subject to copyright, but the
  826.    copyright holder grants permission for free use, copying, and
  827.    distribution. (We will tell you if the copying permissions are too
  828.    restrictive for us to include the materials in the repository.)
  829.    Inclusion of materials in the repository does not modify their
  830.    copyright status in any way. Materials may be placed in:
  831.       ftp.cs.cmu.edu:/user/ai/new/
  832.    When you put anything in this directory, please send mail to
  833.       ai+contrib@cs.cmu.edu
  834.    giving us permission to distribute the files, and state whether
  835.    this permission is just for the AI Repository, or also includes
  836.    publication on the CD-ROM version (Prime Time Freeware for AI).
  837.    We would also appreciate if you would include a 0.doc file for your
  838.    package; see /user/ai/new/package.doc for a template. (If you don't
  839.    have the time to write your own, we can write it for you based on
  840.    the information in your package.)
  841.  
  842.    The Prolog Section of the AI Repository is maintained by Mark Kantrowitz 
  843.    <AI.Repository@cs.cmu.edu>. 
  844.  
  845. Artificial Intelligence Programs:
  846.    ai.uga.edu:/pub/ [128.192.12.9]
  847.  
  848.    The University of Georgia AI FTP Library contains public domain
  849.    Prologs, such as Open Prolog and ESL PD Prolog, PrEd (a small text
  850.    editor for Prolog), and some miscellaneous prolog programs in
  851.       ai.uga.edu:/pub/prolog/
  852.    A copy of the programs from the book by Covington, Nute, and Vellino, (see
  853.    the section on Books below), is in
  854.       ai.uga.edu:/pub/prolog.book/
  855.    and the draft ISO standard for prolog is in
  856.       ai.uga.edu:/pub/prolog.standard/
  857.    Some technical reports with accompanying code are in
  858.       ai.uga.edu:/pub/ai.reports/
  859.    Other materials of interest are in
  860.       ai.uga.edu:/pub/natural.language/
  861.       ai.uga.edu:/pub/natural.language.book/
  862.    Maintained by Michael Covington <mcovingt@ai.uga.edu>.
  863.  
  864. ALE:     
  865.    ALE (Attribute Logic Engine), a freeware system written in
  866.    Prolog, integrates phrase structure parsing and constraint logic
  867.    programming with typed feature structures as terms.  Types are
  868.    arranged in an inheritance hierarchy and specified for the features
  869.    and value types for which they are appropriate.  Grammars may also
  870.    interleave unification steps with logic program goal calls (as can be
  871.    done in DCGs), thus allowing parsing to be interleaved with other
  872.    system components.  While ALE was developed to handle HPSG grammars,
  873.    it can also execute PATR-II grammars, DCG grammars, Prolog, Prolog-II,
  874.    and LOGIN programs, etc. Grammars and programs are specified with a
  875.    version of Rounds-Kasper Attribute Value Logic with macros and
  876.    variables.  ALE supports lexical rules and empty categories for
  877.    grammars, using a bottom-up, all-paths dynamic chart parser. ALE
  878.    supports last call optimization, negation by failure and cuts in
  879.    definite clauses, which may be used independently or integrated into
  880.    grammars. The system is distributed with several sample grammars,
  881.    including a fairly comprehensive implementation of a head-driven
  882.    phrase structure grammar for English. Version 2.0 of ALE is
  883.    available free for research purposes by anonymous ftp from 
  884.       j.gp.cs.cmu.edu:/usr1/carp/ftp/
  885.    as the files ale.*, or from the CMU AI Repository in
  886.       ftp.cs.cmu.edu:/user/ai/lang/prolog/code/parsing/ale/
  887.    For more information write to Bob Carpenter <carp@lcl.cmu.edu> or
  888.    Gerald Penn <penn@lcl.cmu.edu>.
  889.  
  890. ALP-UK Library:
  891.    The best Prolog library currently is the one collected by the ALP-UK
  892.    group. It is available to members at 30 pounds sterling for a Sun
  893.    cartridge or 2 pounds/IBM DOS disk. (non-members maybe, how much?) It
  894.    contains MBs of Prolog systems (including SB Prolog), libraries
  895.    (including the Edinburgh library), benchmarks, grammars, theorem provers,
  896.    object and graphics systems etc. For more information, write to ALP-UK
  897.    Library, Sanjay Raina, Librarian, Dept. of Computer Science, University
  898.    of Bristol, University Walk, Bristol BS8 1TR, UK, call +44 0272 303030
  899.    x3304, or send email to raina@compsci.bristol.ac.uk.
  900.  
  901. CASLOG
  902.    CASLOG (Complexity Analysis System for LOGic) is an experimental
  903.    semi-automatic complexity analysis system for logic programs. It can
  904.    perform the worst-case analysis for complexity measures: argument size
  905.    complexity, number of solutions complexity, and time complexity.
  906.  
  907.    CASLOG extends the techniques developed for analyzing imperative and
  908.    functional languages to deal with nondeterminism and generation of
  909.    multiple solutions via backtracking in logic languages. The analyses
  910.    for different complexity measures are implemented in a unified
  911.    framework and share several common features. First, the predicates in
  912.    a program are processed in an order generated by a bottom-up
  913.    topological sorting over the call graph of the program. Second, the
  914.    complexity function for a predicate is derived from the complexity
  915.    function of its clauses by using the information about the mutual
  916.    exclusion relationships between its clauses. Third, the complexity
  917.    function for a clause is inferred based on the data dependency
  918.    relationships between its literals. Fourth, the complexity functions
  919.    for recursive clauses are in the form of difference equations and are
  920.    transformed into closed form functions using difference equation
  921.    solving techniques. This unified framework can simplify proofs of
  922.    correctness and the implementation of the algorithms.
  923.  
  924.    CASLOG is available by anonymous ftp from cs.arizona.edu:/caslog/. This
  925.    is an alpha distribution, and includes CASLOG version 1.0, a
  926.    preliminary user manual, a paper on CASLOG, and a set of examples.
  927.    For more information, contact Nai-Wei Lin <naiwei@cs.arizona.edu>.
  928.  
  929. Constraint Programming Paper Archive:
  930.    Aarhus University, Denmark, has established an anonymous ftp archive
  931.    for papers on "Constraint Programming" at ftp.daimi.aau.dk:/pub/CLP/.
  932.    For further information, contact Brian H. Mayoh <brian@daimi.aau.dk>.
  933.  
  934. CSP:
  935.  
  936.    Some constraint-related papers by a research group at the
  937.    University of Washington are available by anonymous ftp from 
  938.       june.cs.washington.edu:/pub/constraints/papers/
  939.    The papers from the 1994 Principles and Practice of Constraint
  940.    Programming Workshop are available in
  941.       june.cs.washington.edu:/pub/constraints/papers/ppcp94/
  942.    There are also implementations of several constraint satisfaction
  943.    algorithms and constraint-based systems, including the DeltaBlue and
  944.    SkyBlue algorithms, the Multi-Garnet user interface toolkit, ThingLab
  945.    II, and CoolDraw (a constraint-based drawing system), in
  946.    subdirectories of 
  947.       june.cs.washington.edu:/pub/constraints/code/
  948.    The ftp archive is also accessible via WWW:
  949.       http://web.cs.city.ac.uk/archive/constraints/constraints.html
  950.    All the source code is in the public domain. For more information,
  951.    write to Alan Borning <borning@geoduck.cs.washington.edu>.
  952.  
  953.    C implementations of a number of constraint satisfaction algorithms
  954.    are available by anonymous ftp from
  955.       ftp.cs.ualberta.ca:/pub/ai/csp/
  956.    Get the files README and csplib.tar.Z.  The algorithms include
  957.    variations on backtracking (backjumping, backmarking, chronological
  958.    backtracking, etc.), local consistency preprocessing algorithms (e.g.,
  959.    arc consistency), and random problem generators. For more information,
  960.    write to Peter van Beek <vanbeek@cs.ualberta.ca>.
  961.  
  962. Eden:
  963.    Eden is a Poplog-based AI microworld developed by Simon Perkins,
  964.    Jocelyn Paine and Edmund Chattoe of the Oxford University Artificial
  965.    Intelligence Society. It is intended to serve as a testbed for
  966.    learning and planning programs. Programs written in Pop-11, Prolog,
  967.    Lisp, and ML control a "bug" that lives in a 2-dimensional world. Any
  968.    kind of algorithm may be used to control the bug, including genetic
  969.    algorithms, neural nets, and rule-based systems. Eden consists of a
  970.    grid of cells, each of which can contain objects such as keys, doors,
  971.    boulders and quicksand. Bug's objective is to find and eat a piece of
  972.    food which the simulator has placed somewhere within this grid. To do
  973.    this, Bug must negotiate its way towards the food while dealing
  974.    intelligently with obstacles. Eden's laws of physics allow Bug to take
  975.    one of several different actions when it encounters an object. The
  976.    simulator then works out the consequences of the chosen action on Bug
  977.    and on Eden, and displays these graphically in a Ved window. Bug's
  978.    perceptions are updated to reflect the new state of the world, and the
  979.    cycle repeats. Eden is available by anonymous ftp from the Imperial
  980.    College archive in
  981.       src.doc.ic.ac.uk:/packages/prolog-pd-software/ [146.169.2.10] 
  982.    as the file eden.tar.Z. (Note: This is really a link to the
  983.    directory computing/programming/languages/prolog/pd-software/.)
  984.    Eden includes PopBeast, a simple Prolog bug which can read and
  985.    parse simple commands, extract their meaning, plan how to satisfy
  986.    these commands, and then carry out the plans.
  987.  
  988.    Parts of the current Eden are coded in Pop-11, so porting it to
  989.    Prologs other than Poplog will require some effort. Most of the
  990.    recoding needed is in the grid-world simulator and the definition of
  991.    objects. Send mail to Jocelyn Paine <popx@vax.oxford.ac.uk> if
  992.    you're willing to try this. 
  993.  
  994. FW_Rules:
  995.  
  996.    FW_RULES is a Sicstus Prolog library providing a compiler for forward
  997.    chaining rules.  The implementation is based on a non-state saving
  998.    technique coupled with an indexing mechanism on the working memory
  999.    based on C bitwise operations to achieve efficiency. The library
  1000.    supports interoperability between the forward chaining language and
  1001.    the underlying Prolog engine.  Terms in the working memory are
  1002.    represented as Prolog facts and can be accessed from Prolog to perform
  1003.    deduction. It is available by anonymous FTP from
  1004.       ftp.cs.unibo.it:/pub/gaspari/fw_rules/
  1005.    as the files README and fw_rules.tar.Z. For more information,
  1006.    please write to Mauro Gaspari <gaspari@cs.unibo.it>.
  1007.  
  1008. HDRUG:
  1009.  
  1010.    Hdrug is an environment to develop logic grammars, parsers, and
  1011.    generators for natural languages.  The package comes with a number of
  1012.    example grammars, including a Categorial Grammar, a Tree Adjoining
  1013.    Grammar, a Unification Grammar in the spirit of Head-driven Phrase
  1014.    Structure Grammar, an Extraposition Grammar, a Definite Clause
  1015.    Grammar, and a port of the HPSG grammar from Bob Carpenter's ALE
  1016.    system. Each of the grammars comes with a set of parsers, such as 
  1017.    Earley-like chart parsers, left-corner parsers and head-driven
  1018.    parsers. Some grammars come with variants of the head-driven
  1019.    generator. The package allows easy comparison of different
  1020.    parsers/generators, extensive possibilities of compiling feature
  1021.    equations into Prolog terms, graphical (Tk), LaTeX and ordinary Prolog
  1022.    output of trees, feature structures and Prolog terms, and plotted
  1023.    graphs and tables of statistical information. Hdrug runs in Sicstus
  1024.    Prolog and requires ProTcl and Tcl/Tk. It is available by anonymous
  1025.    FTP from
  1026.       tyr.let.rug.nl:/pub/prolog-app/Hdrug/
  1027.    or by WWW from
  1028.       http://tyr.let.rug.nl/~vannoord/prolog-app/Hdrug/
  1029.    For more information, write to Gertjan van Noord <vannoord@let.rug.nl>.
  1030.  
  1031. Logic Programming Bibliographies:
  1032.    duck.dfki.uni-sb.de:/pub/lp-proceedings/ [134.96.188.92]
  1033.  
  1034.    The ftp server supports tar'ing on the fly, so if you type "get
  1035.    bibtex.tar" you will get a tar'ed version of the "bibtex" directory.
  1036.  
  1037.    BibTeX entries for the proceedings of the following conferences
  1038.    are included: SLP84-87,91, NACLP89-90, ILPS91, ICLP82,84,86-91,93,
  1039.       JICLP92, LP88, RTA89,93, PLILP90-92, ALPUK91, ICOT92, ALP90,92,
  1040.       CADE90,92, CTRS90,92, LICS86-91, UNIF89, EPIA89,91,93, TACS91,
  1041.       TAPSOFT93, EAIA90, FGCS92, FAC, ILPS93, PEPM91,93
  1042.    and the following journals: JLP85-93, JAR91-93, JSC91-93, IANDC82-92.
  1043.  
  1044.    The bibliography is mirrored by the Universidade Nova de Lisboa.
  1045.    In addition, the bibliography can be searched using either WAIS or
  1046.    GOPHER. To search the lp-proceedings using WAIS, use the
  1047.       lp-proceedings.src 
  1048.    wais source, available from the directory of servers. To search the
  1049.    lp-proceedings using GOPHER, point the client to gopher.fct.unl.pt,
  1050.    and follow the directories 
  1051.       "Research/Bibliography/Logic Programming Proceedings".
  1052.    Searching should be easier than retrieving the entire package every
  1053.    time you want to locate a particular article.
  1054.  
  1055.    Send comments and bug reports to rscheidhauer@dfki.uni-sb.de.
  1056.  
  1057. Machine Learning Algorithms Implemented in Prolog:
  1058.  
  1059.    In 1988 the Special Interest Group on Machine Learning of the German
  1060.    Society for Computer Science (GI e.V.) decided to establish a library
  1061.    of PROLOG implementations of Machine Learning algorithms. The library
  1062.    includes - amongst others - PROLOG implementations of Winston's arch, 
  1063.    Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of 
  1064.    discriminations from derivation trees, Quinlan's ID3, FOIL, IDT,
  1065.    substitution matching, explanation based generalization, inverse 
  1066.    resolution, and Mitchell's version spaces algorithm. 
  1067.    All algorithms are written in Edinburgh Prolog syntax. Most of the
  1068.    algorithms are copyleft under the GNU General Public License. 
  1069.    The programs are currently available via anonymous ftp-server from
  1070.    the GMD: 
  1071.  
  1072.         ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]
  1073.  
  1074.    They are also available by surface mail from Thomas Hoppe, 
  1075.    Projektgruppe KIT, Technische Universitaet Berlin, Franklinstr. 28/29,
  1076.    10629 Berlin, Germany. Files will be distributed via MS-DOS formated
  1077.    3.5 inch floppy (double, high and extra-high density),  which should
  1078.    be included with your request. You can also get them by sending an email
  1079.    message to Thomas Hoppe (see below).
  1080.  
  1081.    Send additional PROLOG implementations of Machine Learning
  1082.    Algorithms, complaints about them and detected bugs or problems
  1083.    to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  1084.    complaints about the ftp library to Werner Emde, Gesellschaft
  1085.    fuer Mathematik und Datenverarbeitung, Bonn, <emde@gmd.de>. 
  1086.  
  1087.  
  1088. Natural Language Processing in Prolog:
  1089.  
  1090.    The Prolog and DCG programs from Pereira and Shieber's book, "Prolog
  1091.    and Natural Language Analysis", are available by anonymous ftp from
  1092.    ftp.das.harvard.edu:/pub/shieber/pnla/. See the file README for the
  1093.    conditions under which the material is distributed. If you retrieve
  1094.    the files, please send an email message to the authors letting them
  1095.    know how you plan to use them. For further information, write to
  1096.    Fernando Pereira <pereira@research.att.com> or Stuart Shieber
  1097.    <shieber@das.harvard.edu>.
  1098.  
  1099. Parser:
  1100.    A parser for standard Prolog text written in C is available by
  1101.    anonymous ftp from
  1102.       trappist.elis.rug.ac.be:/pub/prolog/
  1103.    It consists of only three modules (tokenizer, parser, and display
  1104.    routine) and an interface module to integrate it with an existing
  1105.    Prolog system. It is completely deterministic and about 10 times
  1106.    faster than O'Keefe's public domain parser written in Prolog.
  1107.    For more information, write to Koen De Bosschere <kdb@elis.rug.ac.be>.
  1108.  
  1109. Partial Evaluation:
  1110.  
  1111.    Prolog code for the partial evaluator for the flowchart language
  1112.    described in Ch. 4 of "Partial Evaluation and Automatic Program
  1113.    Generation" by Jones, Gomard and Sestoft is available for anonymous
  1114.    ftp from 
  1115.       ftp.diku.dk:/pub/diku/dists/jones-book/ch4_pl.tar.Z
  1116.    All three Futamura projections are implemented. The code has been
  1117.    tested under SWI Prolog 1.5 and 1.7 and should hopefully port to other
  1118.    prologs without too many problems.  For more information, please
  1119.    contact Zerksis Umrigar <umrigar@cs.binghamton.edu>.
  1120.  
  1121. Pleuk Grammar Development System:
  1122.  
  1123.    Pleuk is intended to be a shell for grammar development, in that many
  1124.    different grammatical formalisms can be embedded within it.
  1125.    Grammatical formalisms that currently work with Pleuk include CFG (a
  1126.    simple context-free grammar system), HPSG-PL (a system for developing
  1127.    HPSG-style grammars, produced at Simon Fraser University, Canada, by
  1128.    Fred Popowich, Sandi Kodric and Carl Vogel), Mike (a simple
  1129.    graph-based unification system, enhanced with additional operations
  1130.    for the treatment of free word order proposed by Mike Reape in various
  1131.    publications), SLE (a graph-based formalism enhanced with arbitrary
  1132.    relations in the manner of Johnson & Rosner and Doerre & Eisele.
  1133.    Delayed evaluation is used to compute infinite relations.  This system
  1134.    has been used for the development of several HPSG-style grammars) and
  1135.    Term (a term-based unification grammar system, originally developed
  1136.    for the support of Unification Categorial Grammar of Zeevat, Klein and
  1137.    Calder). Sample grammars are provided for all of these formalisms.
  1138.    Work continues apace on other formalisms, including Bob Carpenter's
  1139.    Ale system for typed feature structures, and Veronica Dahl's Static
  1140.    Discontinuity Grammars.
  1141.  
  1142.    Pleuk requires SICStus prolog version 2.1#6 or later, plus a variety
  1143.    of ancillary programs available free of charge from many FTP servers.
  1144.    Pleuk is available via anonymous FTP from the University of Georgia
  1145.    Artificial Intelligence FTP library
  1146.       ai.uga.edu:/pub/natural.language/
  1147.    as the files pleuk.1.0.tar.Z, pleuk.PSmanuals.tar.Z, and pleuk.README.  
  1148.    Pleuk will also be available shortly from the Natural Language
  1149.    Software Registry, German Research Institute for Artificial
  1150.    Intelligence (DKFI), Saarbruecken.  For more information, send email
  1151.    to pleuk@cogsci.ed.ac.uk.
  1152.  
  1153. Prolog Repository:
  1154.    Established by Jocelyn Paine of Experimental Psychology, Oxford
  1155.    University in 1987. The current catalogue (January 1991) contains
  1156.    30 entries. For catalogue, queries and contributions contact POPX at: 
  1157.       popx%vax.ox.ac.uk@oxmail.ox.ac.uk (internet) or 
  1158.       popx@uk.ac.ox.vax (janet) 
  1159.  
  1160.    FTP access is available through the Imperial College archive at
  1161.       src.doc.ic.ac.uk:/packages/prolog-pd-software/  [146.169.2.10]
  1162.    This is actually a link to the directory
  1163.       /computing/programming/languages/prolog/pd-software/
  1164.       
  1165.    To access it, cd to either of the above directories via
  1166.    anonymous ftp. The file README gives a brief summary of the
  1167.    contents of the directory and CATALOGUE gives a (long!)
  1168.    description of each entry. Entries include the Logic Programming
  1169.    Tutor from Paine's book, the DEC-10 public-domain library, the
  1170.    Linger natural-language corrector, a simple object-oriented
  1171.    add-on for Prolog, graph utilities, among other things.
  1172.  
  1173.    Files in the archive are also available on MS-DOS floppies for a
  1174.    nominal fee to cover the cost of floppies, postage, and packing. 
  1175.  
  1176. Prolog to SQL Compiler:
  1177.    The Prolog to SQL Compiler translates database access requests,
  1178.    which consist of a projection term and a database goal, to the
  1179.    appropriate SQL query. The compiler is written in standard Edinburgh
  1180.    Prolog and has been ported to a number of Prologs. The code posted to
  1181.    comp.lang.prolog works in ECRC's SEPIA Prolog, but should be easily
  1182.    ported to other Prologs. A detailed tech report on the implementation
  1183.    is available by email from draxler@cis.uni-muenchen.de (include
  1184.    your full postal address). The compiler is copyright, but may be used
  1185.    free of charge for non-commercial purposes and redistributed provided
  1186.    the copyright notice is retained intact.
  1187.  
  1188. PSI:
  1189.    PSI is a handy system for the management and retrieval of your
  1190.    personal data, be it addresses, CD collections, or bibliographic
  1191.    references. It is intended for the non-commercial user. It may not be
  1192.    as full-fledged as some data-base systems, but has some features that
  1193.    you won't find in most commercial systems. Also, you may find it
  1194.    easier to set up and faster to use. PSI is useful for a broad range of
  1195.    data. Indexing with descriptors makes searching for the data you need
  1196.    fast, and the interface to other data-base formats (import and export)
  1197.    is quite powerful. PSI was written in LPA MacProlog and is a "genuine
  1198.    'double clickable' Mac application". PSI runs on all Macs with System
  1199.    6 or 7 in 1MB of main memory. As LPA MacProlog isn't yet 32-bit clean,
  1200.    PSI isn't either. Extensive documentation and some examples are
  1201.    included. PSI is available by anonymous ftp from
  1202.    sumex-aim.stanford.edu:/info-mac/app/ as the file psi-23.hqx. It
  1203.    was also available on a recent Nautilus CD-ROM and will be on the
  1204.    first Info-Mac CD-ROM.
  1205.  
  1206. Queens and Knights:
  1207.    Queens and Knights are favorite problems for Prolog programmers.
  1208.    A collection of several implementations is available by anonymous
  1209.    ftp from sics.se:/pub/muse/queensANDknights.tar.Z.uue
  1210.    Write to Roland Karlsson <roland@sics.se> for more information.
  1211.  
  1212. Rubik's Cube:
  1213.    Amzi! Inc., the creators of Cogent Prolog, have made sources to Cube Solver
  1214.    II available from their ftp site, ftp.std.com:/vendors/amzi/.  It is
  1215.    also available from the Prolog Repository at CMU, in
  1216.    ftp.cs.cmu.edu:/user/ai/lang/prolog/code/fun/rubik/.  This Prolog
  1217.    program solves Rubik's Cube.  The sources include a simple scrolling
  1218.    interface that should work in any Edinburgh standard Prolog.  Also
  1219.    included is a ready-made executable for 386 and 486 PCs; it was
  1220.    implemented using Cogent Prolog.  For more information, write to Amzi!
  1221.    Inc. (formerly Amziod) <amzi@world.std.com>, 40 Samuel Prescott Dr.,
  1222.    Stow, MA 01775, Tel: 508-897-7332. Fax: 508-897-2784. Their Web page is
  1223.       http://world.std.com/~amzi/
  1224.  
  1225. SEL:
  1226.    SEL is a declarative set processing language. Its main features are
  1227.    subset and equational program clauses, pattern matching over sets,
  1228.    support for efficient iteration and point-wise/incremental computation
  1229.    over sets, the ability to define transitive closures through circular
  1230.    constraints, meta-programming and simple higher-order programming, and
  1231.    a modest user-interface including tracing. The language seems
  1232.    well-suited to a number of problems in graph theory, program analysis,
  1233.    and discrete mathematics. The SEL compiler is written in Quintus
  1234.    Prolog and the run-time system is written in C. It generates WAM-like
  1235.    code, extended to deal with set-matching, memoization, and the novel
  1236.    control structure of the language. SEL is available by anonymous FTP
  1237.    from ftp.cs.buffalo.edu:/users/bharat/SEL2/.  The FTP release comes with a
  1238.    user manual, bibliography of papers (including .dvi files), several
  1239.    sample programs, and source code. For further information, write to
  1240.    Bharat Jayaraman <bharat@cs.buffalo.edu>.
  1241.  
  1242. A public-domain WAM emulator, written in C++ by Herve Touati, is
  1243. available by anonymous FTP from gatekeeper.dec.com:/pub/plan/prolog/ucb/.
  1244.  
  1245. ----------------------------------------------------------------
  1246. Subject: [1-6] Free Object-Oriented Systems for Prolog
  1247.  
  1248. OL(P), Object Layer for Prolog, is an object-oriented extension to
  1249. Prolog.  It provides an object-oriented structuring and reuse
  1250. mechanism for Prolog in a manner that preserves performance and
  1251. semantics. The object-oriented layer is compiled into Prolog without
  1252. introducing any side-effects.  OL(P) takes the view of objects as
  1253. collections of predicates (called methods).  To Prolog, OL(P) 1.1 adds
  1254. objects with methods, data encapsulation, instances, and multiple
  1255. inheritance. Object methods can access Prolog predicates and vice
  1256. versa. The OL(P) incremental compiler translates OL(P) programs to
  1257. Prolog programs that don't need runtime interpretation (e.g., no
  1258. search is needed for inheritance).  OL(P) 1.1 comes with prepared
  1259. installation for SICStus Prolog and QUINTUS Prolog (both on UNIX),
  1260. documentation, simple built-in project management, some libraries,
  1261. and example programs. The source is included, so you can port OL(P)
  1262. to different platforms, different Prolog systems, and different
  1263. logic programming languages. OL(P) is available by anonymous ftp
  1264. from parcftp.xerox.com:/ftp/pub/ol/ [13.1.64.94]. Written by Markus
  1265. P.J. Fromherz <fromherz@parc.xerox.com>. 
  1266.  
  1267. LogTalk is a free object oriented extension to the Prolog programming
  1268. language. It is based on a reflexive architecture intended to provide
  1269. an open system, easily tailored to user needs. It implements simple
  1270. inheritance and a delegation mechanism. Logtalk enables users to
  1271. define new types of slots, each one with its own semantics, that can
  1272. be reused by any object. It includes features for event-based
  1273. programming. This enables the creation of elegant solutions to
  1274. represent and maintain relations that restrict the internal state of
  1275. participating objects. Logtalk (and more information about it) is
  1276. available using the URL
  1277.    http://cygnus.ci.uc.pt/logtalk/logtalk.html
  1278. For more information, write to the author Paulo Moura <pmoura@cygnus.uc.pt>. 
  1279.  
  1280. See Common ESP (CESP) in [2-1] and BeBOP in [2-3].
  1281.  
  1282. ----------------------------------------------------------------
  1283. Subject: [1-7] Commercial Object-Oriented Systems for Prolog
  1284.  
  1285. LAP is an object-oriented system by Elsa. For more information, write
  1286. to Elsa Software, La Grange Dame Rose, 6 ave du Marechal Juin, 92366
  1287. Meudon-La-Foret Cedex, France, call +33 (1) 46 30 24 55, fax +33 (1)
  1288. 46 30 55 26, or send email to elsa!lap@uunet.uu.net.
  1289.  
  1290. SPIRAL is an object oriented system by CRIL for Sun3 and Sun4 under
  1291. Unix. For more information, write to CRIL, Conception et Realisation,
  1292. Industriel de Logiciel, 146 bd de Valmy 92707, Colombes Cedex, France,
  1293. call +33 1 47 69 53 67, or fax +33 1 47 69 53 99.
  1294.  
  1295. Quintus Prolog (see [2-2]) has an object system documented in
  1296.    http://www.quintus.com/prolog/obj.html
  1297. and in Peter Schachte's home page,
  1298.    http://muse.cs.mu.oz.au/%7Epets/
  1299. Quintus objects are updateable data structures whose slots can contain
  1300. Prolog terms. (For increased efficiency, a slot can be constrained to
  1301. hold a specific C-style type.) Because the objects are updateable,
  1302. they offer and efficient alternative to storing modifiable data in the
  1303. Prolog database. 
  1304.  
  1305. See also LPA Prolog ++ in [2-2].
  1306.  
  1307. ----------------------------------------------------------------
  1308. Subject: [1-8]  The Prolog 1000 Database
  1309.  
  1310. The Prolog 1000 is a database of real Prolog applications being
  1311. assembled in conjunction with the Association for Logic Programming
  1312. (ALP) and PVG. The aim is to demonstrate how Prolog is being used in
  1313. the real world and it already contains over 500 programs with a total
  1314. of well over 2 million lines of code. The database is available for
  1315. research use in SGML format from the Imperial College archive
  1316.    src.doc.ic.ac.uk:/packages/prolog-progs-db/prolog1000.v1.gz
  1317. If you have or know about a program that might qualify for inclusion,
  1318. send an email message to Al Roth (alroth@cix.compulink.co.uk) for an
  1319. electronic entry form which only takes a few minutes to complete. Or
  1320. write to Prolog 1000, PO Box 137, Blackpool, Lancashire, FY2 0XY,
  1321. U.K., Fax: +44 253 53811 Telephone: +44 253 58081. (Floppy disks for
  1322. PC or Mac in text form are also welcome, and paper entries may also be
  1323. sent). Queries may also be addressed to: Chris Moss
  1324. (cdsm@doc.ic.ac.uk), Leon Sterling (leon@alpha.ces.cwru.edu).
  1325.  
  1326. ----------------------------------------------------------------
  1327. Subject: [1-9] X-Windows Interfaces
  1328.  
  1329. PI:
  1330.    PI is an interface between Prolog applications and the X Window System
  1331.    that aims to be independent from the Prolog engine, provided that it
  1332.    has a Quintus-style foreign function interface (such as SICStus, YAP).
  1333.    It is mostly written in Prolog and is divided in two libraries: (1)
  1334.    Edipo, a low-level interface to the Xlib functions, and (2) Ytoolkit,
  1335.    a high-level user interface toolkit that allows you to create and
  1336.    manage graphical objects, define new classes of objects, and handle
  1337.    user interaction. PI is available by anonymous ftp from
  1338.    ftp.ncc.up.pt:/pub/prolog/pi_1.2.tar.gz and includes documentation
  1339.    and some demos. Also see ytoolkit.tar.Z. PI has been tested in
  1340.    Quintus Prolog 3.1.1 and SICStus 2.1 #8. Send questions, comments,
  1341.    and bug reports to Ze' Paulo Leal, Universidade de Porto, Portugal,
  1342.    <zp@ncc.up.pt>. 
  1343.  
  1344. XWIP: 
  1345.    ftp.x.org:/contrib/xwip.tar.Z  (formerly export.lcs.mit.edu)
  1346.    ftp.uu.net:/X/contrib/xwip.tar.Z
  1347.  
  1348.    XWIP is an X Windows interface for PROLOG.
  1349.  
  1350. XPCE:
  1351.    XPCE is an object-oriented X-window interface toolkit for symbolic
  1352.    programming languages (Prolog and Lisp), offering a high level of
  1353.    abstraction for communication with X11, Unix processes, Unix
  1354.    networking facilities (sockets) and Unix files. XPCE's built-in
  1355.    classes (about 150) are mostly written in C.  The XPCE/Prolog
  1356.    interface allows the user to create and manipulate instances of these
  1357.    classes.  The user can also create new XPCE classes from Prolog.
  1358.    XPCE's window related classes provide various styles of menus,
  1359.    primitive graphical objects, compound graphical objects and Emacs
  1360.    oriented programmable text manipulation windows. The distribution
  1361.    contains several demo programs, including a diagram drawing tool
  1362.    (PceDraw), an animation demo, an Epoch-like editor, a graphical
  1363.    interface to Unix ispell, and an online hyper-text manual for XPCE
  1364.    itself.  A demo version of XPCE/SWI-Prolog for Linux may be obtained
  1365.    by anonymous ftp from swi.psy.uva.nl:/pub/xpce/linux/ [145.18.114.17].
  1366.    The non-demo versions (for SWI-Prolog, SICStus Prolog, Lucid Common
  1367.    Lisp and LispWorks) require filling out a license and paying a fee
  1368.    (see the file pub/xpce/INFO).  To be added to the mailing list
  1369.    xpce@swi.psy.uva.nl send mail to xpce-request@swi.psy.uva.nl. Send
  1370.    bugs to xpce-bugs@swi.psy.uva.nl. 
  1371.  
  1372.    ProWindows 3 is a commercial version of XPCE for Quintus Prolog. 
  1373.    For further information, write to Simon Heywood, AI International Ltd, 
  1374.    The Chapel, Park View House, 1 Park View Road, Berkhamsted, Herts, 
  1375.    HP4 3EY, phone +44-(0)442-876722 (Sales Hotline +44 (0)442 876448),
  1376.    fax +44-(0)442-877997, or send email to sheywood@aiil.co.uk.
  1377.  
  1378. ProTcl:
  1379.  
  1380.    ProTcl (pronounced pro-tickle) is a Prolog interface to Tcl/Tk. It has
  1381.    a very simple and lightweight interface, which allows one to evaluate
  1382.    Tcl expressions from Prolog. It defines the tcl_eval/1,2 predicate
  1383.    which passes the Tcl expressions to the Tcl interpreter. It has been
  1384.    tested on ECLiPSe and SICStus, on a Sparc 10. ProTcl is available
  1385.    by anonymous ftp from 
  1386.       ftp.ecrc.de:/pub/eclipse/progs/protcl/
  1387.    The ProTCL home page is
  1388.       http://www.ecrc.de/eclipse/html/protcl.html
  1389.    Send comments and suggestions to Micha Meier <micha@ecrc.de>.
  1390.  
  1391. ----------------------------------------------------------------
  1392. Subject: [1-10] Is there a straight-forward way of compiling Prolog to C?
  1393.  
  1394. Two methods of compiling Prolog to C have been reported in the
  1395. literature:
  1396.    -  WAM-based approaches
  1397.    -  Continuation-based approaches
  1398.  
  1399. The WAM-based approach compiles Prolog programs into a sequence of C
  1400. function or macro calls to WAM instructions. A brief description of
  1401. this method and some results are given in the paper:
  1402.  
  1403.    Michael R. Levy and R. Nigel Horspool, "Translating Prolog to C: a
  1404.    WAM-based Approach", in Proceedings of the Second Compulog Network
  1405.    Area Meeting on Programming Languages, and the Workshop on Logic
  1406.    Languages in Pisa, May 1993. (Available by anonymous ftp from 
  1407.    csr.uvic.ca:/pub/mlevy/.)
  1408.  
  1409. The best tutorial for writing a WAM-based compiler or WAM emulator is
  1410. Hassan Ait-Kaci's book, "Warren's Abstract Machine: A Tutorial
  1411. Reconstruction" (see [1-3] above). 
  1412.  
  1413. A "quick-and-dirty" method is to implement the WAM functions as described
  1414. in Ait-Kaci's tutorial, to label each call with a C case label, and then throw
  1415. a giant switch(P) statement around the entire sequence of calls, where P
  1416. is the WAM program counter.  On return from any instruction that modifies
  1417. P, a "goto Start" must be inserted. (This method was posted by Rob
  1418. Scott, <rbs@aisb.ed.ac.uk>, based on the JANUS papers by Saraswat.)
  1419.  
  1420. This strategy will work, but does not allow you to modularize your
  1421. prolog program. Predicates in prolog seem to generate 8 to 15 WAM
  1422. instructions per clause, so (assuming very roughly a clause per
  1423. line)you might expect your 1,000 line program to expand to a switch
  1424. statement containing up to 15,000 lines. Some C compilers can't handle
  1425. such a big switch statement.
  1426.  
  1427. Levy and Horspool solve this problem by compiling each Prolog
  1428. predicate to a seperate C function. A dispatch loop mechanism is used
  1429. to call the C functions. C switch statements are used only inside the
  1430. functions.  A predicate that calls another predicate sets P to contain
  1431. the address of the C function that implements the called predicate,
  1432. (and sets another register called W in their scheme) and then returns
  1433. to the dispatcher instead of calling the predicate. This bypasses the
  1434. C run-time stack.  This lets one exploit WAM optimizations (like LCO)
  1435. and yet retain the ability to create many modules. Their system
  1436. performs well when compared with byte-code compilers, but translated
  1437. code runs slower than code produced by native code compilers.  On the
  1438. other hand, it outputs portable ANSI C that can run on any machine
  1439. with a C compiler.
  1440.  
  1441. Henderson, Somogyi, and Conway's paper "Compiling Logic Programs to C
  1442. using GNU C as a portable assembler" 
  1443.    htpp://www.cs.mu.oz.au/mercury/papers.html
  1444. mentions some optimizations to the above approach, and also describes
  1445. another approach used in the Mercury compiler which achieves
  1446. efficiency comparable to direct native-code generation by using GNU C
  1447. extensions.  They use conditional compilation (#ifdef) to enable use
  1448. of these extensions, so the generated C code will still run on other
  1449. ANSI C compilers, although the GNU C extensions improve performance
  1450. for Mercury by nearly a factor of three.
  1451.  
  1452. Other approaches to translating to C use continuations. The idea here
  1453. is to translate every Prolog predicate to a C function that has
  1454. an additional argument, namely a continuation function. If the function
  1455. fails, it simply returns, but if it succeeds, it executes the continuation.
  1456. When the function regains control from the continuation, it can then try
  1457. to generate a new solution. Here are two references
  1458. that describe systems built using continuations:
  1459.  
  1460.    J. L. Weiner and S. Ramakrishnan, "A Piggy-Back Compiler for Prolog",
  1461.    in Proceedings of SIGPLAN T88 Conference on Programming Language
  1462.    Design and Implementation, Atlanta, Georgia, 1988, pages 288-296.
  1463.  
  1464.    J. L. Boyd and G. M. Karam, "Prolog in C", Carleton University,
  1465.    Ottawa, 1988. 
  1466.  
  1467. Oliver Ridoux <Olivier.Ridoux@irisa.fr> reports that a
  1468. continuation-based approach works well when used to compile
  1469. LambdaProlog. His scheme translates every predicate into a function
  1470. that uses and modifies the success and failure continuations, with
  1471. recursion in the predicate becoming iteration in the continuation
  1472. passing mechanism. Inside the function one uses whichever intermediate
  1473. machine one fancies. Clauses within the function can be either the
  1474. branches of a switch statement or simply labelled when using a C
  1475. system that can store labels. This approach can still generate
  1476. monstrous C programs that blow up the C compiler, but the C programs
  1477. aren't as large as those generated by a one module to a function
  1478. scheme. Approaches that replace recursion in a predicate with
  1479. recursion in a function tend to overload the C stack and lead to
  1480. sloppy memory management.  Two technical reports describing Ridoux's
  1481. approach are available by anonymous ftp from
  1482.    ftp.irisa.fr:/local/
  1483. as pm/*.ps.Z and mailv06/*.ps.Z.
  1484.  
  1485. Michael Covington <mcovingt@ai.uga.edu> points out that a very simple
  1486. approach is to write a Prolog interpreter in C, then store the Prolog
  1487. program in that program's data! This will, of course, execute slowly.
  1488. One might imagine all sorts of other schemes. For example, a query
  1489. could be treated as a stack of "suspensions" (with the left-most goal
  1490. on top).  The top suspension is executed by selecting the appropriate
  1491. clause (possibly using indexing), and then, if necessary, pushing new
  1492. suspensions on the stack (the body of the clause whose head unified
  1493. with the current suspension).
  1494.  
  1495. Another question to ask is this: Is there any reason why you should want to
  1496. convert Prolog to C at all? George Saab of Quintus Corp. pointed out that,
  1497. with Quintus Prolog, you can create a standard .o file from a Prolog file,
  1498. which can then be linked with your other .o files to create an executable.
  1499. What's more, your Prolog code can be called from C code and vice versa.
  1500.  
  1501. On ther hand, the advantage of distributing "Prolog objects" as C rather than
  1502. .o files is portability.
  1503.  
  1504. M. Gaspari  and G. Attardi describe an approach to translating Prolog to C
  1505. based on the provision of a common runtime architecture. This is
  1506. described in 
  1507.  
  1508.    G. Attardi and M. Gaspari, "Multilanguage Interoperability", in
  1509.    Proceedings of The 3rd International Symposium, PLILP 91, 
  1510.    Springer Verlag, LNCS #528, 1991.
  1511.  
  1512. [Note: Thanks to Michael Levy, Department of Computer Science,
  1513. University of Victoria, <mlevy@csr.uvic.ca>, for writing this section.]
  1514.  
  1515. ----------------------------------------------------------------
  1516. Subject: [1-11] WAM emulators and tracers
  1517.  
  1518. Johan Bevemyr's Luther-based WAM-tracer is available by anonymous ftp
  1519. from Uppsala University in Sweden. It includes a simple compiler from
  1520. Prolog to WAM code and a low-level WAM code tracer written in
  1521. emacs-lisp.  The tracer splits the screen into regions to show
  1522. data-areas, registers, and so on. You can then step through running
  1523. the code. The tracer is available by anonymous ftp from
  1524.    ftp.csd.uu.se:/pub/WAM-tracer/luther.tar.Z
  1525. Documentation on the tracer is included in the distribution.  The
  1526. emulator is in the /pub/WAM-emulator/ directory (and runs in SICStus
  1527. Prolog).  For more information, contact Johan Bevemyr
  1528. <bevemyr@csd.uu.se> or <bevemyr@sics.se>.
  1529.  
  1530. ----------------------------------------------------------------
  1531. Subject: [1-12] What is the Basic Andorra Model and AKL?
  1532.  
  1533. The Basic Andorra Model is a way to execute definite clause programs
  1534. that allows dependent and-parallelism to be exploited transparently.
  1535. It also supports nice programming techniques for search programs.  The
  1536. idea is to first reduce all goals that match at most one clause.  When
  1537. no such goal exists, any goal (e.g., the left-most) may be chosen.
  1538. The BAM was proposed by David H. D. Warren, and his group at Bristol
  1539. has developed an AND-OR parallel implementation called Andorra-I,
  1540. which also supports full Prolog.  See, for example, 
  1541.  
  1542.    Seif Haridi and Per Brand, "Andorra Prolog, an integration of Prolog
  1543.    and committed choice languages", in Proceedings of the FGCS 1988,
  1544.    ICOT, Tokyo, 1988.
  1545.  
  1546.    Vitor Santos Costa, David H. D. Warren, and Rong Yang, "Two papers on
  1547.    the Andorra-I engine and preprocessor", in Proceedings of the 8th
  1548.    ICLP. MIT Press, 1991.
  1549.  
  1550.    Steve Gregory and Rong Yang, "Parallel Constraint Solving in
  1551.    Andorra-I", in Proceedings of FGCS'92. ICOT, Tokyo, 1992.
  1552.  
  1553. AKL (Andorra Kernel Language) is a concurrent constraint programming
  1554. language that supports both Prolog-style programming and committed
  1555. choice programming.  Its control of don't-know nondeterminism is based
  1556. on the Andorra model, which has been generalised to also deal with
  1557. nondeterminism encapsulated in guards and aggregates (such as bagof)
  1558. in a concurrent setting. See, for example,
  1559.  
  1560.    Sverker Janson and Seif Haridi, "Programming Paradigms of the Andorra
  1561.    Kernel Language", in Proceedings of ILPS'91. MIT Press, 1991.
  1562.  
  1563.    Torkel Franzen, "Logical Aspects of the Andorra Kernel Language", SICS
  1564.    Research Report R91:12, Swedish Institute of Computer Science, 1991.
  1565.  
  1566.    Torkel Franzen, Seif Haridi, and Sverker Janson, "An Overview of the
  1567.    Andorra Kernel Language", In LNAI (LNCS) 596, Springer-Verlag, 1992.
  1568.  
  1569.    Sverker Janson, Johan Montelius, and Seif Haridi, "Ports for Objects
  1570.    in Concurrent Logic Programs", in Research Directions in Concurrent
  1571.    Object-Oriented Programming, MIT Press, 1993 (forthcoming).
  1572.  
  1573. The above papers on AKL are available by anonymous ftp from 
  1574.    sics.se:/pub/ccp/papers/
  1575. An (as yet non-released) prototype implementation of AKL is available
  1576. for research purposes (contact sverker@sics.se). 
  1577.  
  1578. ----------------------------------------------------------------
  1579. Subject: [1-13] What is Constraint Logic Programming?
  1580.  
  1581. Constraint Logic Programming (CLP) augments Prolog by adding
  1582. constraints to the clauses. The CLP implementation solves goals in the
  1583. same manner as Prolog, but also merges the constraints associated with
  1584. each rule. If the merge succeeds, the successful goal and the
  1585. corresponding constraints are returned. If, however, the constraints
  1586. are mutually exclusive, the solution fails.
  1587.  
  1588. There is an extensive wide-ranging archive of material relating to
  1589. constraint logic programming at
  1590.    http://web.cs.city.ac.uk/archive/constraints/constraints.html
  1591.  
  1592. ----------------------------------------------------------------
  1593. Subject: [1-14] How do you write portable programs in Prolog?
  1594.  
  1595. The de-facto standard syntax for Prolog is known as the Edinburgh
  1596. standard. It is based on the syntax of DEC-10 Prolog, an early Prolog
  1597. implementation developed at the University of Edinburgh.
  1598. See question [1-1] for information on the draft ISO standard for
  1599. Prolog.
  1600.  
  1601. Unfortunately, not every Prolog implementation is Edinburgh compatible.
  1602. There also isn't any notion of read-conditionalization, like #+ and #-
  1603. *features* in Common Lisp. 
  1604.  
  1605. One option is to use the C preprocessor on Prolog code before loading
  1606. it into Prolog.  Or you could use term-expansion to roll your own
  1607. conditional compilation system. Term expanding a clause to []
  1608. effectively discards it.
  1609.  
  1610. Another possibility is to conditionalize the execution instead of the
  1611. compilation. The user would have to uncomment a line like one of the
  1612. following, 
  1613.    % this_is(quintus).
  1614.    % this_is(sicstus).    
  1615. and the code would have to test for the proper literal
  1616.    a :- this_is(quintus), blah, blah, blah.
  1617.    a :- this_is(sicstus), blah, blah, blah.
  1618. at a slight cost in efficiency. (If you first feed the program through
  1619. a general partial evaluator, you'll get an equivalent program without
  1620. the inefficiency. Partial evaluation is in some sense a more powerful
  1621. and semantically cleaner form of source preprocessing. Given
  1622.         <head> :- <condition>, <rest of body>.
  1623. If <condition> is always false, we can safely drop the clause. If
  1624. <condition> is always true, we can drop it from any clauses that
  1625. include it.) 
  1626.  
  1627. Another possibility is Richard O'Keefe's environment package for
  1628. Prolog. It was posted to comp.lang.prolog on 1-SEP-94; a copy can be
  1629. found in
  1630.    ftp.cs.cmu.edu:/user/ai/lang/prolog/code/ext/env/env.pl
  1631.  
  1632. ----------------------------------------------------------------
  1633. Subject: [1-15] World-Wide Web (WWW) Resources
  1634.  
  1635. The World Wide Web (WWW) is a hypermedia document that spans the
  1636. Internet.  It uses the http (HyperText Transfer Protocol) for the
  1637. light-weight exchange of files over the Internet.  NCSA Mosaic is a
  1638. World Wide Web browser developed at the National Center for
  1639. Supercomputing Applications (NCSA). 
  1640.  
  1641. Mosaic's popularity derives, in part, from its ability to communicate
  1642. using more traditional Internet protocols like FTP, Gopher, WAIS, and
  1643. NNTP, in addition to http. Mosaic can display text, hypertext links,
  1644. and inlined graphics directly. When Mosaic encounters a file type it
  1645. can't handle internally, such as Postscript documents, mpeg movies,
  1646. sound files, and JPEG images, it uses an external viewer (or player)
  1647. like Ghostscript to handle the file. Mosaic also includes facilities
  1648. for exploring the Internet. In other words, Mosaic is an multimedia
  1649. interface to the Internet.
  1650.  
  1651. The hypertext documents viewed with Mosaic are written in HTML
  1652. (HyperText Markup Language), which is a subset of SGML (Standard
  1653. Generalized Markup Language).  All that is needed is just a few more
  1654. improvements, such as the ability to format tables and mathematics,
  1655. and a WYSIWYG editor, for HTML to greatly facilitate electronic
  1656. journals and other publications.
  1657.  
  1658. NCSA Mosaic for the X Window System is available by anonymous ftp from  
  1659.    ftp.ncsa.uiuc.edu:/Mosaic/
  1660. as source code and binaries for Sun, SGI, IBM RS/6000, DEC Alpha OSF/1, DEC
  1661. Ultrix, and HP-UX. Questions about NCSA Mosaic should be directed to 
  1662. mosaic-x@ncsa.uiuc.edu (X-Windows version), mosaic-mac@ncsa.uiuc.edu
  1663. (Macintosh), and mosaic-win@ncsa.uiuc.edu (Microsoft Windows).
  1664.  
  1665. An automatically generated HTML version of the PRG is accessible by
  1666. WWW as part of the AI-related FAQs Mosaic page. The URL for this
  1667. resource is
  1668.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/top.html
  1669. The direct URL for the PRG is
  1670.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  1671.  
  1672. The remainder of this section lists WWW resources of interest to Prolog
  1673. and logic programming researchers, students, and practitioners.
  1674.  
  1675. Constraints:
  1676.  
  1677.    The newsgroup comp.constraints has an ftp archive and WWW home page:
  1678.       ftp.cs.city.ac.uk:/pub/constraints
  1679.       http://web.cs.city.ac.uk/archive/constraints/constraints.html
  1680.  
  1681. Logic Programming:
  1682.  
  1683.    http://www.comlab.ox.ac.uk/archive/logic-prog.html
  1684.    Jonathan Bowen <Jonathan.Bowen@comlab.ox.ac.uk>
  1685.  
  1686.    http://www.watson.ibm.com/watson/logicpgm/
  1687.    [Logic Programming at IBM Research]
  1688.    Peter Reintjes <reintjes@watson.ibm.com>
  1689.  
  1690.    http://ps-www.dfki.uni-sb.de/~vanroy/impltalk.html
  1691.    ["Issues in Implementing Logic Languages" -- overview of
  1692.     state-of-art in Prolog implementation.] 
  1693.    Peter Van Roy <vanroy@dfki.uni-sb.de>
  1694.  
  1695.    http://www.informatik.uni-trier.de/~ley/db/index.html
  1696.    [Table of Contents from Conferences and Journals in the fields
  1697.     of database systems and logic programming.]
  1698.    Michael Ley <ley@nigra.Uni-Trier.DE>
  1699.  
  1700.    http://www.als.com/nalp.html
  1701.    Ken Bowen <ken@als.com>
  1702.  
  1703. Abstract Interpretation for LP Bibliography:
  1704.  
  1705.    http://dept-info.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps
  1706.    200 entries so far. 
  1707.    Marc-Michel Corsini <corsini@labri.u-bordeaux.fr>
  1708.  
  1709. ----------------------------------------------------------------
  1710. Subject: [1-16] Prolog Job Postings
  1711.  
  1712. The PROLOG-JOBS mailing list exists to help programmers find Prolog
  1713. programming positions, and to help companies with Prolog programming
  1714. positions find capable Prolog programmers. (Prolog here means Prolog-like
  1715. languages, including logic programming languages.)
  1716.  
  1717. Material appropriate for the list includes Prolog job announcements and
  1718. should be sent to ai+prolog-jobs@cs.cmu.edu. Resumes should NOT be sent to
  1719. the list. 
  1720.  
  1721. [Note: The 'ai+' part of the mailing list name is used for directing
  1722. submissions to the appropriate mail-server. The list is NOT restricted
  1723. to AI-related Prolog jobs -- all Prolog job announcements are welcome.]
  1724.  
  1725. As a matter of policy, the contents of this mailing list is
  1726. considered confidential and will not be disclosed to anybody.
  1727.  
  1728. To subscribe, send a message to ai+query@cs.cmu.edu with
  1729.    subscribe prolog-jobs <First Name> <Last Name>, <Affiliation/Organization>
  1730. in the message body.
  1731.  
  1732. (If your mailer objects to the "+", send subscription requests to
  1733. "ai+query"@cs.cmu.edu, job announcements to "ai+prolog-jobs"@cs.cmu.edu, 
  1734. etc.) 
  1735.  
  1736. For help on using the query server, send mail to ai+query@cs.cmu.edu with
  1737.    help
  1738. in the message body.
  1739.  
  1740. Job postings sent to the list are automatically archived in
  1741.    ftp.cs.cmu.edu:/user/ai/jobs/prolog/
  1742.  
  1743. If you have any other questions, please send them to ai+@cs.cmu.edu
  1744.  
  1745. ----------------------------------------------------------------
  1746. Subject: [1-17] Is Prolog really used in Windows NT?
  1747.  
  1748. Yes. 
  1749.  
  1750. For more information, see
  1751.  
  1752.    Dennis Merritt, "Extending C with Prolog", Dr Dobb's Journal, 
  1753.    August 1994, pages 78-82 and 102, 104. 
  1754.  
  1755.    D. Hovel, "Small Prolog and Windows NT Networking", Dr Dobb's Journal,
  1756.    August 1994, page 80.
  1757.  
  1758. ----------------------------------------------------------------
  1759. Subject: [1-18] History of Prolog
  1760.  
  1761. Van Roy, Peter, "1983-1993: The Wonder Years of Sequential Prolog
  1762. Implementation," DEC Paris Research Laboratory, Research Report 36,
  1763. December 1993.
  1764.  
  1765. Kowalski, Robert A., "The Early Years of Logic Programming", CACM,
  1766. January 1988, pages 38-43.
  1767.  
  1768. Cohen, Jacques, "A View of the origins and development of Prolog",
  1769. CACM, January 1988, pages 26-36.
  1770.  
  1771. ----------------------------------------------------------------
  1772. Subject: [1-19] The ISO Standard for Prolog and other Prolog standards
  1773.  
  1774. The ISO standard for Prolog is ISO/IEC 13211-1:1995. Copies can be
  1775. purchased from national standards bodies (e.g. ANSI, AFNOR, DIN). 
  1776. It defines the core features of Prolog: part 2, in preparation, 
  1777. will define modules. ISO does not currently make standards available 
  1778. by anonymous FTP, but the 1993 draft ISO standard for Prolog is
  1779. available by anonymous FTP from
  1780.    ai.uga.edu:/pub/prolog.standard/ [128.192.12.9]
  1781. An unofficial summary of the ISO Prolog standard is available
  1782. from the same location as isoprolog.tex or isoprolog.ps.Z.  Send mail
  1783. to Michael Covington <mcovingt@ai.uga.edu> for more information about
  1784. his summary of the standard. 
  1785.  
  1786. A PostScript version of the August 1995 draft for Part 2 is
  1787. available from
  1788.    http://www.sju.edu/~jhodgson/x3j17.html
  1789.  
  1790. For more information about the ISO Prolog standardzation, write to
  1791. Roger Scowen, ISO/IEC JTC1 SC22 WG17 (Prolog) convener, 9 Birchwood
  1792. Grove, HAMPTON, Middlesex TW12 3DU, UNITED KINGDOM, 
  1793. phone +44-181-979-7429, fax +44-181-287-3810, 
  1794. or, preferably, send email to rss@ditc.npl.co.uk.
  1795.  
  1796. Richard O'Keefe's 1984 Prolog standard draft is available by anonymous
  1797. FTP from 
  1798.    ftp.ecrc.de:/pub/eclipse/std/plstd.doc
  1799.  
  1800. ----------------------------------------------------------------
  1801. Subject: [1-A] Acknowledgements
  1802.  
  1803. The original version of this guide (Version 0.6, Dec 11, 1991) was
  1804. compiled by Dag Wahlberg, Uppsala University, Sweden
  1805. <dagwag@csd.uu.se>, and published in the 5(1) issue of the ALP
  1806. Newsletter (February 1992).  Other people who helped with the
  1807. compilation include Chris Moss <cdsm@doc.ic.ac.uk>, Mats Carlsson,
  1808. SICS <matsc@sics.se>, Michael A. Covington <mcovingt@ai.uga.edu>,
  1809. Jocelyn Paine <popx@vax.ox.ac.uk>, Per G. Bilse, PDC <pdev@pdc.dk>,
  1810. David Cohen, BIM Systems Inc <dc@bim.com>, Mark Korsloot
  1811. <mark@logic.et.tudelft.nl>, and David W. Talmage
  1812. <talmage@luvthang.aquin.ori-cal.com>.
  1813.  
  1814. Thanks also to Jamie Andrews <jamie@cs.sfu.ca>.
  1815.  
  1816. ----------------------------------------------------------------
  1817. ;;; *EOF*
  1818.