Design of the Kernel language for the parallel inference machine - Ueda, Kazunori; Chikayama, Takashi (1990)