15-819K Logic Programming
Lecture 1: Logic Programming

• Reading: Lecture Notes
• Code: 01-lp
• Concepts:
  • Computation vs deduction
  • Judgments and proofs
  • Proof search
  • Answer substitutions
  • Backtracking
  • Subgoal order
  • Prolog notation
  • Unification
• Previous lecture: none
• Next lecture: Data Structures

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

fp@cs
Frank Pfenning