A New Design and Implementation of Progol by Bottom-Up Computation. - Hiroshi Fujita; Naoki Yagi; Tomonobu Ozaki; Koichi Furukawa (Inductive Logic Programming Workshop, 1996)