A new integrated system of logic programming and relational database. - Tieqing Deng; Quanyuan Wu; Zhiying Wang (J. Comput. Sci. Technol., 1993)