A Prolog-based representation for integrating knowledge data - Wu, Xingdong (1992)