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

Office: GSRC-113 (enter through 111), Phone: 542-0361

Hours: By Appointment, Drop In, or __(hours to be determined)__

Notes: Be sure to leave a note/voice-mail/email if I'm not in.If you stop by and the door to 111 is locked, it is possible that I am in the office.Just ring the door bell and wait a few seconds.



1) PROLOG Programming in Depth, (1996 edition) by Covington, Nute, and Vellino

Coverage: Chapters 1-9, (maybe parts of 10-12) from (1).


2) Lisp text:



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:


Free Software:

SWI Prolog (, and Common Lisp (Allegro, GNU, etc.)






(Late assignments NOT accepted)



(around Sept 22nd & Oct 29th)

Final Exam


(around Dec 15th : noon)



  • All academic work must meet the standards contained in ďA Culture of Honesty.ĒStudents are responsible for informing themselves about those standards before performing any academic work.Be sure you are familiar with the departmental policy as well (see attached or visit:
  • No make-up exams are given.
  • Attendance is required.A portion (at most 10%) of the assignments grade percentage is allocated to class participation.


NOTE: The course syllabus is a general plan for the course; deviations announced in class by the instructor may be necessary.



Computer Science Departmental Policy Statement: Academic Honesty


The Computer Science Department recognizes honesty and integrity as necessary to the academic function of the University.Therefore all students are reminded that the CS faculty requires compliance with the conduct regulations found in the University of Georgia Student Handbook.Academic honesty means that any work you submit is your own work.


Common forms of academic dishonesty against which students should guard are:


1.                  Copying from another student's test paper or laboratory report, or allowing another student to copy from you;

2.                  Fabricating data (computer, statistical) for an assignment;

3.                  Helping another student to write a laboratory report or computer software code that the student will present as his own work, or accepting such help and presenting the work as your own;

4.                  Turning in material from a public source such as a book or the Internet as your own work.


Three steps to help prevent academic dishonesty are:


1.                  Familiarize yourself with the regulations.

2.                  If you have any doubt about what constitutes academic dishonesty, ask your instructor or a staff member at the Office of Judicial Programs.

3.                  Refuse to assist students who want to cheat.


All faculty, staff and students are encouraged to report all suspected cases of academic dishonesty.All cases of suspected academic dishonesty (cheating) will be referred to the Office of Judicial Programs.Penalties imposed by the Office of Judicial Programs may include a failing grade in the course and a notation on the studentís transcript.Repeated violations are punishable by expulsion from the University.For further information please refer to the UGA Code of Conduct, available at the URL below.