Logical Foundations of Prolog
youtube.com