We already have a device for artificial reasoning, it's called Prolog.