Course Topics

• Introduction

• Clojure

• List and tree representation

• Tree recursion and tree search

• Evaluation and interpretation

• Pattern matching, substitution, rewrite rules

• Symbolic mathematics: algebra, calculus, unit conversion

• Program generation from trees

• Predicate calculus, rule representation

• Backchaining and Prolog; program composition

• Rule-based expert systems

• Semantic grammar and Natural language interfaces

• Functional programs, MapReduce

• Symbolic programming in ordinary languages