(CESP) A unix-based version of ESP (extended self-containing prolog) from mitsubishi's ai language institute.