Courses/CS 332L

From CSWiki

Fall 2007

Fall 2006

Spring 2006

[edit] Symbolic Programming in Prolog

The pages below are the outline of a course in logic programming that focuses on Prolog as a programming language for symbolic programming. Backtracking is minimized, and cuts are encouraged as a way to indicate a separation between guards and bodies of clauses. After the first few introductory pages, the remainder of the material focuses on developing an interpreter for a simple programming language.

• Introduction to Prolog
• Symbolic differentiation
• Data structures and unification
• Peano arithmetic
• Expression evaluation
• Control structures
• Classes
• Functions

[edit] SWI Prolog

• Stable release downloads
• Online reference manual
  • Table of Contents

[edit] Prolog Tutorials listed alphabetically by author

• Roman Bartak

• Patrick Blackburn, Johan Bos, and Kristina Striegnitz

• R J Botting

• Paul Brna

• J.R. Fisher

• Lu and Mead

• Dennis Merritt

• Loiseleur Michel and Vigier Nicolas

• James Powers or James Powers

• Leung Kwong Sak

[edit] Other stuff

• Syllabus from original CS 332

• Syllabus from a Prolog version of CS 460

• Sample Prolog problems

• Christiansen, Henning, Prolog as a meta-language

• Google search for "Prolog problems"
  • Werner Hett, 99 Prolog problems
  • V. Nastase, Prolog problems Much overlap with previous.