Prolog

• 1. cls
• 2. introduction
• 3. lists
• 4. control-predicates
• 5. higher-order
• 6. exam-questions