15-819K Logic Programming
Lecture 2: Data Structures

• Reading: Lecture Notes
• Code: 02-data
• Concepts:
  • Lists
  • Type predicates
  • List types
  • Disequality
  • Quicksort
  • Conditionals
  • Cut
  • Negation as failure
  • Prolog arithmetic
• Previous lecture: Logic Programming
• Next lecture: Induction

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

fp@cs
Frank Pfenning