[دانه کولانه]

Programming ProLog - Artificial Intelligence
http://www.osix.net/modules/article/index.php?id=622
========================
Artificial Intelligence through Prolog by Neil C. Rowe

http://www.cs.nps.navy.mil/people/fa...book/book.html
Prentice-Hall, 1988, ISBN 0-13-048679-5

Full text of book (without figures)


Table of Contents
Preface
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Chapter 9
Chapter 10
Chapter 11
Chapter 12
Chapter 13
Chapter 14
Chapter 15
Appendix A
Appendix B
Appendix C
Appendix D
Appendix E
Appendix F
Appendix G
Some figures in crude form
Instructor's Manual, containing additional answers and exercises
Errata on the book as published
==============================================
==============================================
================================================
=====================================================

Artificial Intelligence Programming in Prolog



http://www.macs.hw.ac.uk/~alison/ai3...hapter2_3.html

These notes accompany the four lectures on Artificial Intelligence programming in prolog. Only the basics of prolog programming will be described. Further details of the language and of prolog programming techniques will be introduced in tutorials or later lectures, and can be found in any prolog text book. The recommended text book for this part of the course, and for the coursework, is Prolog Programming for Artificial Intelligence (second edition), by Ivan Bratko, published by Addison Wesley (1990). This book covers both basic prolog programming and gives many AI examples which will be useful for the assessed exercises. Another good book, but with far fewer AI examples, is Clocksin &Mellish Programming in Prolog, Springer Verlag 1981. These lectures will cover roughly the first three chapters of either of these books.
The exercises accompanying the AI course will all involve writing or extending simple prolog programs (though two will involve writing expert system or grammar rules, rather than straight prolog). Prolog is a weird language, and takes some time and practice to get used to. It is therefore very important that you get lots of practice. There will be six exercises given out, the last three of which will be assessed. However, you would be wise to try additional exercises from the first few chapters of Bratko and suitable exercises will be suggested.

• Artificial Intelligence Programming
  • Support for Symbolic Computation:
  • Support for Exploratory Programming
  • The Main AI Languages
• The Basics of Prolog
• Prolog Terms, Backtracking and Unification
  • Basic Data Structures and Syntax
  • More about Prolog Matching
  • Backtracking
  • Declarative and Procedural Views of Programs
  • Some Exercises
• Recursion
  • Tracing Prolog Execution
    • Exercises:
• List Processing
  • Exercises
• Remaining Topics

===============================
==============================
==============================
Prolog for Artificial Intelligence
2001-02


http://www.cl.cam.ac.uk/teaching/2001/PrologAI/
Click ps.gz or pdf for the lecture notes (pages 1-74, 115-126).
Click prologman.pdf to see a SWI-Prolog 5.0 Reference Manual.
Click PLVol1.ppt, PLVol2.ppt, PLVol3.ppt, PLVol4.ppt and PLVol5.ppt for the Powerpoint slides.
Click PLVol1.ps, PLVol2.ps, PLVol3.ps, PLVol4.ps and PLVol5.ps for the above slides in black and white .ps format.
Click plogslds.ps or plogslds.pdf for the final 23 slides .ps or .pdf format.
An implementation of Prolog has been installed on the PWFs for use with Windows. Its location is:
I:\clteach\mr\prolog
To enter it, double click on the SWI_prolog shortcut in \clteach\mr.
SWI-prolog and its documentation was obtained from http://www.swi-prolog.org