But such system exists, mostly implemented in prolog.