It is a deterministic, explicit Artificial Intelligence, where you define entities and their relations and can query about the states of facts. The use-case ma

It is a deterministic, explicit Artificial Intelligence, where you define entities and their relations and can query about the states of facts. The use-case may involve exploration (automated deduction) of a defined world. It is an automated Analyst. (Input an Economy, ask about some recession; input a war, ask about some battle etc.) In the real, real world, the use case should broadly overlap with that of Prolog.