Course Outline

• Introduction and Motivation. Programming paradigms.
• Logic Programming:
  • Pure logic programming, Prolog, and other LP systems.
  • Operational semantics and fixpoint semantics.
• Functional+logic Programming, higher order.
• Constraint Programming:
  • Intro, CLP(R), CLP(Q), finite domains.
  • Operational, model, and fixpoint semantics.

• Semantics wrapup:
  • Main types of semantics. Operational semantics. Denotational semantics.
  • Axiomatic semantics.
  • Introduction to program verification.