praeducer/prolog

Samples of work I wrote in Prolog (http://en.wikipedia.org/wiki/Prolog). Mostly for my course in Symbolic Programming (http://en.wikipedia.org/wiki/Symbolic_programming) at The University of Georgia (http://ai.uga.edu/).

ARTI/CSCI-4540/6540: Symbolic Programming

(prereq: CSCI-1302 or POD; coreq: CSCI/PHIL-4550/6550)

Description (Theme: Problem Solving Using AI Techniques):

This course provides an introduction to programming in LISP and PROLOG, with emphasis on artificial intelligence techniques. Other languages used for artificial intelligence work will be presented more briefly (time permitting).

Instructor:

Don Potter

Texts:

• PROLOG Programming in Depth, (1996 edition) by Covington, Nute, and Vellino Coverage: Chapters 1-9, (maybe parts of 10-12).
• Lisp text: http://www.cs.uga.edu/~potter/ArtIntell/6540lisptexts.htm

References:

• Sterling & Shapiro, The Art of PROLOG Programming, MIT Press, 1986.
• Norvig, Artificial Intelligence Programming, Morgan Kaufmann, 1992.
• Texts by Bratko; Clocksin & Mellish; Steele; Winston; Wilensky; and Current literature.
• LISP Notes (Dr. Covington will get these for us).
• AI on the Web: http://www.cs.berkeley.edu/~russell/ai.html

Free Software:

SWI Prolog (http://www.swi-prolog.org/), and Common Lisp (Allegro, GNU, etc.)