ECE419 Logic and Functional Programming

The course offers a comprehensive introduction to the principles of logic and functional programming, using one representative programming language in each case. The issues addressed in each case include facts, rules, and query formation in logic programming, simple and composite terms, lists and recursion. Students acquire expertise in writing logic programs for a number of simple applications. In the fuctional programming part of the course, students become familiar with simple and composite functions, recursion and iteration and the typed system employed by most functional programming languages.

Upon completion of this course students :

• Know the fundamental concepts and terms of the Logic and Functional programming paradigms and how these contrast to the Procedural view of computation.
• Use basic concepts and terms of Logic Programming
• Perform Logic Program computation, minimal model computation and recursive predicate definition for list processing.
• Use basic concepts and terms of Functional Programming.
• Develop programs in ML – simple and recursive functions, list processing, function composition.
• Apply functional programming computation and develop higher order functions.