Course Outline

• Introduction.
• Pure logic (relational) programming.
• The Prolog Language. Programming in Prolog.
• Efficient Prolog programming.
• Combining Logic Programming, Functional Programming, Higher Order, Objects.
• The Ciao Programming System.
• Review of first order predicate logic and resolution. Fundamental results.
• Semantics of logic programs.
• Other topics (if time permits).
  • Implementation of logic languages and advanced compilation.
  • Parallelism, concurrency.
  • Other LP/CLP languages.