A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation. - Gang Cheng; Zhang Yun-Zheng (LISP Symb. Comput., 1992)