Abstract
Since extending DATALOG to a general-purpose programming language seems very difficult, many projects have embedded a DATALOG-based query language into a procedural host language, such as CORAL, Glue-Nail, etc. Although DATALOG can be considered as function-free PROLOG, they are very different in many aspects. For instance, DATALOG is declarative while PROLOG isn’t, DATALOG takes “a-set-at-a-time” mode of evaluation but PROLOG takes “a-tuple-at-a-time” one, DATALOG is only a query language whereas PROLOG is a general-purpose programming language. It is thought that integrating DATALOG with PROLOG may take their advantages. KBASEP is such a language. It uses KBASE as the query language and PROLOG as its procedural host language, where KBASE is an extension of DATALOG with negation and function. This paper introduces the integration techniques used in KBASE-P system.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ramakrishnan R, Srivastava D, SudarshanS. CORAL — Control, relation and logic. InProc. the 18th VLDB Conf., 1992, Canada.
Ramakrishnan R, Srivastava D, Sudarshan S, Seshadri P. Implementation of the CORAL deductive database system. InProc. the ACM SIGMOD Conf on Management of Data, 1993, Washington, USA.
Phipps G, Derr M A, Ross K A. Glue-Nail: A deductive database system. InProc. the ACM SIGMOD Conf. on Management of Data, 1991, USA.
Derr M A, Morishita S, Phipps G. Design and implementation of the Glue-Nail database system. InProc. the ACM SIGMOD Conf. on Management of Data, 1993, Washington, USA.
Zhu Yangyong, Guo Depei, Shi Baile. Design and implementation of KBASE-P knowledge-base system. (in Chinese)Chinese Journal of Computers, 1996, 19(3).
Shi Baile, Zhu Yangyong, Guo Depei. KBASE-P: A knowledge-base programming language. (in Chinese)Chinese, Journal of Software, 1996, Vol. 7, Supplement.
Shi Baile, Ma Xueqiang. Logic query language KBASE for knowledge-base system.Database Technology, 1992, 4(3): 163–167.
Naqvi S, Tsur S. A Logic Language for Data and Knowledge Base. Computer Science Press, 1989.
Kiernan G,et al. Making deductive database a practical technology: A step forward. InProc. the 1990 ACM SIGMOD Int’l Conf. on Management of Data, pp. 237–246.
Copeland G, Maier D. Making smalltalk a database system. InProc. the ACM SIGMOD Conf. on Management of Data, 1984, USA.
Ullman JD. Principles of Database and Knowledge-Base Systems. Vols. I, II, Computer Science Press, 1989.
Kowalski R Aet al. Linear resolution with selection function.Artificial Intelligence, 1971, 1(2): 227–260.
Ramakrishnan R, Ullman J D. A survey of deductive database system.Journal of Logic Programming, May, 1995.
Sagonas K, Swift T, Warren D S. XSB as an efficient deductive database engine. InProc. the ACM SIGMOD Conf. on Management of Data, 1994, Minnesota, USA.
Author information
Authors and Affiliations
Additional information
This work was supported by the National ‘863’ High-Tech Program of China.
Zhu Yangyong received his Ph.D. degree in computer software from Fudan University in 1994. He is now an Associate Professor of Computer Science Department, Fudan University. His research interests include database, logic programming and multi-media.
Guo Depei received his Ph.D. degree in computer software from Fudan University in 1997. His research interests include database, logic programming and multi-media.
Shi Baile is now a Professor of Computer Science Department, Fudan University. His research interests include database, knowledge-base and logic programming.
Rights and permissions
About this article
Cite this article
Zhu, Y., Guo, D. & Shi, B. Techniques of integrating Datalog with PROLOG. J. of Comput. Sci. & Technol. 12, 520–531 (1997). https://doi.org/10.1007/BF02947204
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02947204