15-819K Logic Programming
Lecture 21: Forward Chaining

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Database as context
  • Synchronous atoms
  • Pure forward chaining
  • Unification via bottom-up logic programming
• Previous lecture: Bottom-Up Logic Programming
• Next lecture: Hyperresolution

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

fp@cs
Frank Pfenning