(CESP) A Unix-based version of ESP (Extended Self-containing Prolog) from Mitsubishi's AI Language Institute.