An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.