Course Outline

• Introduction and Motivation.
• Logic Programming.
  • The (ISO-)Prolog programming language.
  • Efficient Prolog programming.
• Multi-paradigm Programming:
  • Syntactic/semantic extensions.
  • Combining logic programming, functional programming, and objects.
  • Higher order, records.
• Adding Constraint Programming.
  • CLP(R). Finite domains. Current CLP systems. Combined programming.
• Advanced topics:
  • Static debugging and verification.
  • Automatic program parallelization.