calculator

So, as a default, you open up the Calculator app, it just looks like a basic calculator.

Think of it as a calculator or a spreadsheet.

In some sense, it was meant to be a universal calculator for truth.

And third, and this is the masterstroke, you need a so-called engine of reason, a system of mechanical rules by which you can automatically derive new facts from that library as surely as a calculator performs arithmetic.