COMP 481

Most programming languages (e.g. Java, C, C++, Python) are imperative languages, meaning that programs are written as sequences of instructions that change program state. However, imperative programming is just one programming paradigm. This course introduces two other programming paradigms: functional and logic programming. Logic programming is based on first-order logic, while functional programming is based on the lambda calculus. Students will learn the basic theoretical foundations as well as how to program in two relevant languages. The course will also describe the importance of these languages to the field of AI. -- Prerequisite -- COMP 251 with a C or better; MATH 225 recommended. -- Corequisite -- None. -- Pre or Corequisite -- None.