NPTEL Video Course : Logic for CS

Lecture 36 - Towards Logic Programming