Lisp software

1. Game playing software: Functions for running games, alpha-beta search, implementations of checkers (other games will be available soon).
2. Resolution theorem prover: This is a classical resolution theorem prover as taught in the introduction to AI books. My implementation emphesizes modularity and allows the students to easily incorporate various resolution strategies.
3. ID3: An implementation of the ID3 induction algorithm.
4. MacroScope: This is a general architecture for macro learning. It implements the information filtering methodology.