Heuristic problem solving, theorem proving, and knowledge representation, including the use of appropriate programming languages and tools.