The KB system being used by DARPA is cyc.com. It's the oldest, largest and as far as I'm aware best of classical AI systems. I believe you can research with it for free, but it may be expensive to deploy commercially.
Why AP History vs. Mathematics? Why not predicate calculus which is regarded as a
requisite for developing such systems?