Introduction to Prolog (Einfürung in Prolog)

Schedule (Summer Semester, 1999)

Di, Mi 16 c.t.
Ort: SUN-Raum (SfS Rm. 109)
Lab/Übung: Di 14 (SfS Rm. 109)
Meeting times are subject to change within the first couple of weeks:
Watch this page for changes to the meeting times!

Coursenotes

(Revised 9.3.98 -- The HTML versions are more up to date (meaning also freer of mistakes), but they do not cover all the material that is in the old postscript version.)

  • uncompressed PostScript (1140K).
  • gzipped PostScript (382K).
  • 2up gzipped PostScript (389K).

    • Chapters in HTML

    The HTML versions of the course notes depend at several points on your browser being able to load the Symbol font. Instructions for how to configure your browser to load the Symbol font can be found at this location .

  • Course Introduction
  • Why Logic Programming is So Wonderful
  • Elements of Prolog: Expressions, Unification and Resolution
  • Anatomy of a Prolog Program
  • Lists
  • Trees
  • Graphs

    • Homeworks

    General Instructions: Please submit your homeworks to me by email at cornell@sfs.nphil.uni-tuebingen.de . Make sure everything is in a single file. It goes without saying that you should include your name somewhere in the file, and also some indication of which homework assignment it is a solution for.
  • Homework 1, due May 12th. Note the new due date!
  • Homework 2, due May 26th.
  • Homework 3, due June 16th.
  • Homework 4, due sometime.

    • Extras

  • Some Proplog provers. Parsing and recognition as deduction as parsing and recognition.

    • Links

  • SICStus documentation online, with frames.
  • WWW Virtual Library Prolog page.
  • Prolog FAQ From the newsgroup comp.lang.prolog.

    • Some On-Line Tutorial Material

    I have not gone through these sites in any detail, but they may help. In any case, it's always useful to look at a subject from many different perspectives.

  • Guide to Prolog Programming By Roman Barták.
  • Adventure in Prolog. Courtesy of the Amzi! Prolog website.
  • Prolog and Logic Programming. Material from a course taught at the University of Birmingham. Notes prepared by Peter Hancox.

    • For the Adventurous

    Warren's Abstract Machine: A Tutorial Reconstruction. You can download the text of Hassan Aït-Kaci's out-of-print introduction to the Warren Abstract Machine, the heart of the SICStus compiler.
    Last modified April 8, 1999
    Tom Cornell's Home Page
    email: cornell@sfs.nphil.uni-tuebingen.de