[infurl]

https://www.imandra.ai/

This is actually pretty exciting though it might not be obvious to the untrained eye. 

Imandra is Reasoning as a Service®

Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, Imandra brings the latest advances in automated reasoning to your fingertips. Imandra was designed at cloud-scale, so whether you're working on a school project or the next Mars rover - we've got you covered.

This system uses a process of quantifier elimination to reduce the search processes of logical resolution to arithmetic computation making suitable knowledge bases efficient enough to be used on a large scale.

https://en.wikipedia.org/wiki/Quantifier_elimination

There are many in-depth practical examples on the website, ranging from simple to extremely advanced, for example:

https://docs.imandra.ai/imandra-docs/notebooks/simple-vehicle-controller/

[Dee]

we've been being in the age of online services since the early 90s,
AI is blossoming, AI online services are now becoming the thing, not just email, drive, and those stuff any more