u inference engine
u tools for:
n knowledge acquisition
n explanation
n verification, incoherence, etc.
u When, why is it useful to use a shell?
n fast, easy development, test for a prototype