CSE-505: Computing With Logic

Online Resources

• Systems:
  • XSB Logic Programming System is the system used in this course for programming homeworks and projects.

• Books:
  • Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz

  • Logic, Programming and Prolog by Ulf Nillson and Jan Maluszynski

  • Prof. David S. Warren's draf t book on Tabled Logic Programming.

  • WAM: A Tutorial Reconstruction by Hassan Ait-Kaci.
• Notes:
  • Semantics of definite, stratified and normal logic programs (.ps.gz, .pdf)

• Additional Papers:
  • Gelfond and Lifschitz's Stable Models paper (.pdf).
  • Przymusinski's paper on Well-Founded Models (.pdf).

• Online References: Logic Programming Archive hosted by the Oxford University Computing Laboratory is a great source for material related to Logic Programming.

• Tutorials:
  • Roman Bartak at Charles University in Prague (Czech Republic) has developed a good Online Guide to Prolog Programming.
  • Dennis Merritt offers another online guide, Adventure in Prolog hosted by Amzi! Inc., a Prolog vendor.