A domain-independent problem-solver.