CSE-505: Computing With Logic

Online Resources

• Systems:
  • XSB Logic Programming System is one of the systems used in this course for programming homeworks and projects.
  • SWI Prolog is another popular Prolog system that can be used for most programming homeworks.

• Books:
  • 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 (.pdf)

• Additional Papers:
  • Gelfond and Lifschitz's paper on Stable Models
  • Przymusinski's paper on Well-Founded Models
  • Andersen's notes on Binary Decision Diagrams
  • Marques-Silva, Lynce and Malik's book chapter on CDCL-based SAT Solving (from Biere et al's Handbook of Satisfiability, 2009).

• Tutorials:
  • Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz, gives a good hands-on introduction to the language.
  • 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.
  • Werner Hett's P-99: Ninety-Nine Prolog Problems is a nifty collection of 99 Prolog problems with solutions. The best way to use this site will be to try the problems yourselves first before looking at the solutions which are generally obvious (in hindsight!).