CMU Artificial Intelligence Repository
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