6.008B: Logic Programming-Part 2

Description
In this lecture we are going to continue with Logic Programming.Here, we will be discussing about Sample patterrns ,judgements and Proofs. proof search, Answer substitutions, Back tracking and prolog Notation.

" Prof. Hal Abelson and Gerald Jay Sussman,6.008B: Logic Programming, Part 2 ,6.001 Structure and Interpretation of Computer Programs, Electrical Engineering and Computer Science, Massachusetts Institute of Technology: MIT OpenCourseWare),http://ocw.mit.edu (30-07-2011). License: Creative Commons BY-NC-SA: http://ocw.mit.edu/terms/#cc"