Ridiculously Short Logic Engines

I think I want to win a prize for this — making the shortest logic engine code that is actually useful.

In the screenshot above, the engine grasped 2 real, hard facts about two unknown persons called Gabi & Klaus given a few lines of information about them — and some additional information about life.

This particular logic engine clocks in at 30 actual code lines.

Note that even the actual logic operator is supplied to the engine in plain English:

if “X is a Y” and “a Y is not a Z” then “X is not a Z”

Don’t tell me that ain’t cool.

Tell me if you want to have a desktop robot; or to join the JavaX programming enlightenment movement.

Cheers