15-819K Logic Programming
Errata

The errors listed have been fixed in the posted PDF but are wrong in the handout copies.

Lecture 7.2, par 4: "FV(A) = for an A in Gamma" => "FV(A) = emptyset for all A in Gamma"
Lecture 7.4, theorem 7.1: "FV((A/S)sigma') = emptyset" => "FV((A/S)theta sigma') = emptyset"
Lecture 7.4, proof of theorem 7.1, linear 8: "rho theta1 theta2 sigma'" => "rho theta1 theta2 sigma''"
Lecture 8.4, second rule for conjunction: premiss "B and S / F" => "B / S / F"
Lecture 8.10, lemma 8.1: "G(s/x)" => "G(s/y)" and "D(s/x)" => "D(s/y)"
Lecture 10.1, par 3: "in general there is restriction" => "in general there is no restriction"
Lecture 10.7, rules for types. The rule that Delta |- alpha type if alpha type in Delta was missing
Lecture 15.3, rule tensor R: Conclusion should start "DeltaI \ DeltaO ||-"