Extensions of Logic Programming



Course Outline
Department of Artificial Intelligence
School of Computer Science
Technical University of Madrid
28660-Boadilla del Monte, Madrid, SPAIN

Course General Topics

• Introduction.
• Constraint Logic Programming.
• WWW programming using LP/CLP systems.
• Other topics (if time permits).
  • An Overview of Ciao, a modern Prolog/LP/CLP System.
  • Advanced compilation.
  • Parallelism.