Functional logic programming combines the paradigms of functional and logic programming into one language. Examples of this style of programming include Curry, Mercury, and Verse. A journal was published between 1995 and 2008 to promote the integration of these two paradigms.

CS 157 provides a rigorous introduction to Logic from a computational viewpoint. The course mainly deals with encoding information as logical sentences and reasoning methods for this information. It gives an overview of logic technology and its applications. Topics range from propositional logic, relational logic, functional logic to various deduction techniques and mathematical induction.