CSC350 — Logic Programming for AI
Introduction to the fundamentals of logic and logic programming, a paradigm that uses formal logic to express computational algorithms. Focus on propositional and predicate logic, basics of proof techniques, principles of computational logic, and logic programming concepts using Prolog-based logic programming languages. Emphasis on application to artificial intelligence.