Techniques of integrating Datalog with PROLOG. - Yangyong Zhu; Depei Guo; Baile Shi (J. Comput. Sci. Technol., 1997)