Class Projects

This course will involve interesting projects that will give students a taste of what can be done with symbolic programming:

• Introduction to Clojure, Tree Recursion

• Symbolic Math: Evaluation, Algebra, Calculus, Unit Conversion

• Pattern Matching, Substitution, Rewrite Rules

• Program Generation from Trees

• Backchaining and Prolog: finding a composition of functions that achieves a desired program

• Rule-based Expert Systems

• Semantic Grammar and Natural Language Interfaces

• Functional Programs over massive data: MapReduce and Clojure

• Symbolic programming in ordinary languages