CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

CMU Prolog Repository

lang/prolog/

   bookcode/  Machine readable parts of various Prolog books
   code/      Prolog code for benchmarking, research, 
              education, and fun
   doc/       Documentation, including standards, 
              introductions, bibliographies
   faq/       Prolog FAQ Postings: Frequently Asked Questions 
              (FAQ) postings for comp.lang.prolog and 
              comp.object.logic newsgroups
   gui/       Graphical User Interfaces (GUI) for Prolog
   impl/      Free/Shareware Prolog implementations
   oop/       OOP: Code related to object-oriented programming 
              in Prolog.
   prolog/    Prolog Newsgroup Archives
   txt/       Online Prolog-related tech reports and papers.
   util/      Utilities for programming in Prolog.

Origin:   

   ftp.cs.cmu.edu:user/ai/lang/prolog/  [128.2.206.173]
   Give "anonymous" (without the quotes) at the username:
   prompt and type your email address (in the form "user@host")
   at the password: prompt. NOTE: There is *no* leading slash
   before user/ai/lang/prolog/; just type "cd user/ai/lang/prolog/"
   at the ftp> prompt.
   If you will be transferring compressed files, be sure to
   type the "binary" command before retrieving the files. The
   "get" command is used to get a single file, and "mget" to
   retrieve multiple files using wildcards.  If you're using
   the "mget" command, you might want to turn off prompting
   first by using the "prompt" command.
   The Prolog Repository is kept in the Andrew File System (AFS)
   directory
   /afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/
   and its subdirectories. If your site runs AFS, you can
   just cd to this directory and copy the files directly.
   (The FTP location given above is just a link to the AFS
   directory.)
   Further information about AFS can be obtained by
   sending email to afs-sales@transarc.com.
Welcome to the Prolog Repository. The Prolog Repository is part of the CMU Artificial Intelligence Repository. The goal of the Prolog Repository is to collect files and programs of general interest to Prolog programmers. Information files include the FAQ (Frequently Asked Questions) postings for the comp.lang.prolog newsgroup and copies of the draft standard for prolog. If this is the first time you have used the Repository, please read this file and the file named readme.txt. The file readme.txt contains important information concerning the repository and conditions on use of the repository. By retrieving files from the repository, you signify your agreement to these conditions. To contribute files to the repository, first see section [7] of the readme.txt file. Then send mail to AI.Repository@cs.cmu.edu. If possible, please put the files in ftp.cs.cmu.edu:user/ai/new/.
References: Covington, Michael A.; Nute, D.; and Vellino, A. "Prolog Programming in Depth", Scott, Foresman & Co., 1987. ISBN 0-521-40984-5 [Out of print, but new edition coming soon.] Clocksin, W.F. and Mellish, C.S: "Programming in Prolog", 3rd Ed. Springer Verlag, 1987. 281 pages, ISBN 0-387-17539-3 ($29). Cooke, Daniel E., "Logic: The Basis for Understanding Prolog", Ablex, Norwood, NJ, 1994. 224 pages, ISBN 1-56750-028-5 ($27.50). Conlon, Tom: "Programming in Parlog". Addison-Wesley, 1989, ISBN 0-201-17450-2. Dawe, C.M. and M.S. Dawe, "Prolog for Computer Science", Springer Verlag, 1994. 190 pages, ISBN 0-387-19811-3 paper ($35). Dodd, Anthony, "Prolog: A logical approach", Oxford University Press, New York, 1990, 556 pages. ISBN 0-198-53822-7 (cloth), $52.50; ISBN 0-198-53821-9 (paperback), $26.00. Kluzniak and Szpakowicz: "Prolog for Programmers", Academic Press 1985 G. L. Lazarev, "Why Prolog? Justifying Logic Programming for Practical Applications", Prentice Hall, 1989. Le, Tu Van, "Techniques of Prolog programming, with implementation of logical negation and quantified goals", John Wiley, New York, 1993. ISBN: 0-471-57175-X (American edition), 0-471-59970-O (International edition). Saint-Dizier, P., "An Introduction to Programming in Prolog", Springer Verlag, 1990. 184 pages, ISBN 0-387-97144-0 paper ($29). [Tutorial introduction, with simple examples of AI programs and games.] Leon Sterling, editor, "The Practice of Prolog", MIT Press, 1990. 342 pages, ISBN 0-262-19301-9, $39.95. O'Keefe, Richard A., "The Craft of PROLOG", MIT Press, 1990, 410 pages. ISBN 0-262-15039-5, $42.50. Peter Ross, "Advanced Prolog: Techniques and Examples", Addison-Wesley, 1989, ISBN 0-201-17527-4. Leon Sterling and Ehud Shapiro, "The Art of Prolog: Advanced Programming Techniques", 2nd Edition, MIT Press, 1994. 688 pages, ISBN 0-262-19338-8, $49.95. Yoav Shoham, "Artificial Intelligence Techniques in Prolog", Morgan Kaufmann Publishers, 1993, 400 pages. ISBN 1-55860-167-8 (paper) $39.95. ISBN 1-55860-319-0 (cloth) $49.95. Bratko, Ivan, "Programming in Prolog for Artificial Intelligence", 2nd Edition, Addison-Wesley, 1990. Dennis Merritt, "Building Expert Systems in Prolog", Springer-Verlag, 1989. 358 pages, ISBN 0-387-97016-9 hardcover ($52). Dennis Merritt: "Adventure in Prolog", Springer-Verlag, 1990. 186 papers, ISBN 0-387-97315-X hardcover ($39). Gazdar, G. and Mellish, C., "Natural Language Processing in Prolog: An Introduction to Computational Linguistics", Addison-Wesley, Reading, Massachusetts, 1989. (There are three different editions of the book, one for Lisp, one for Prolog, and one for Pop-11.) Fernando C.N. Pereira and Stuart M. Shieber, "Prolog and Natural-Language Analysis", CSLI Lecture Notes Number 10, Stanford, CA, 1987. 286 pages, ISBN 0-937073-18-0. Michael A. Covington, "Natural Language Processing for Prolog Programmers", Prentice-Hall, Englewood Cliffs, NJ, 1994. ISBN 0-13-629213-5. Harvey Abramson and Veronica Dahl, "Logic Grammars", Springer-Verlag, New York, 1989, 234 pages, ISBN 0-387-96961-6. Peter Flach, "Simply Logical: Intelligent Reasoning by Example", John Wiley & Sons, 1994, 256 pages. ISBN 0-471-94152-2 paper ($31.95). Updated: 4-JAN-93 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Bug Reports: AI.Repository@cs.cmu.edu Mailing List: comp.lang.prolog newsgroup Author(s): Maintained by Mark Kantrowitz . Thanks to the following people for their assistance in gathering materials for the Prolog section of the AI repository: Michael A. Covington (ai.uga.edu prolog archive) Jocelyn Paine (src.doc.ic.ac.uk prolog archive) Contact: AI.Repository@cs.cmu.edu Keywords: Programming Languages!Prolog, Prolog
Last Web update on Mon Feb 13 10:35:32 1995
AI.Repository@cs.cmu.edu