PROFIM: Prolog for image management. - Shan Chi; Jie-Young Juang (TAI, 1990)