CISC-304: Logic and Programming
Essential Handouts
1. Inference Rules for Natural Deduction
2. Introduction to Prolog
3. Submitting Prolog assignments