CS 550 Programming Languages and Systems

PDF and Notes

• 2011-01-18 (Lambda calculus)
• 2011-01-25 (Logic prog. cont. and unification)
• 2011-01-27 (Unification cont.)
• 2011-02-08 (Herbrand Universe, Base, Model)
  • An excellent additional reference: [1]
    • "An interpretation that makes all of the program clauses true is called a model of the program."
• 2011-02-10 (Herbrand cont. with example)
  • Nice reference [2]

AAC

• 2011-01-18