15-819K Logic Programming
Lecture 11: Difference Lists

• Reading: Lecture Notes
• Code: 11-diff
• Concepts:
  • Difference lists
  • Queues
  • Breadth-first interpreter
  • State exploration
• Previous lecture: Polymorphism
• Next lecture: Linear Logic

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning