Cyc is a knowledge modeling and machine reasoning environment capable of addressing the most challenging problems in industry, government, and academia. The result of three decades of R&D and commercial and government applications, Cyc provides an unparalleled knowledge modeling language, a vast and broad-reaching library of formally represented knowledge, and a powerful, efficient, and extensible inference engine to answer questions, draw conclusions, and solve problems.
Azul Prime® is certified with Cyc, allowing the system to take advantage of more in-memory data and provide low latency response to queries.