Abstract

The present paper aims at the development of logical programming language (Prolog) for implementing database concepts in the form of establishment of links between logic programming and databases. We have been able to implement a deductive/inference database management and Knowledge- based systems in Prolog.

References

• A Domenici, B Lazzerini, CA Prete (1990), Introduction to Prolog computation model and its implementation Information and Software Technology, Volume 32, Issue 6, and pp. 423-431.
• A. S. Watson, S. H. Chan (1991), A prolog-based object oriented engineering DBMS Original Research Article Computers & Structures, Volume 40, Issue 1, and pp. 11-21.
• Brachman, R. J. and Levesque, H. J. (2004), Knowledge Representation and Reasoning.
• Chan Chee Keong, Chen Yin (1997), Implementation of a deductive database system using SQLBase , Volume 20, Issue 6, and pp. 317-323.
• DA Bell, JB Grimson, DHO Ling (1989), Implementation of an integrated multi database-PROLOG system , Volume 31, Issue 1, and pp. 29-38.
• Deyi Li (2004), A PROLOG database management, Volume 3, Issues 3–4, ISBN 0-86380-014-9, and pp. 219.
• Eliezer L. Lozinskii (1992), Inference by generating in deductive databases Data & Knowledge Engineering, Volume 7, Issue 4, and pp. 327-357.
• F. Gozzi, M. Lugli, S. Ceri (1990), An overview of PRIMO: A portable interface between PROLOG and relational database Information Systems, Volume 15, Issue 5, pp. 543-553.
• Heimo H. Adelsberger (2003), Prolog Programming Language Encyclopedia of Physical Science and Technology in DBMS verification, and pp. 155-178.
• Jorge Bocca, Europeean (1986), EDUCE: Prolog and a rational DBMS for DSS, Volume 2, Issue 3, and pp. 274.
• Lanfranco Lopriore (1993), A data cache for Prolog architectures Future Generation Computer Systems, Volume 9, Issue 3, and pp. 219-234.
• Makino, K. and Ibaraki, T. (1996), Interior and exterior functions of Boolean functions. Discrete Applied Mathematics, Volume 69, and pp. 209–231.
• Makino, K. and Ono, H. 2011. Deductive Inference for the Interiors and Exteriors of Horn Theories. ACM Trans. Comput. Logic V, N, Article A, A. 1-A. 16. .
• N. W. Paton, S Leishman, S. M. Embury, P. M. D Gray (1993), On using Prolog to implement object-oriented databases Information and Software Technology, Volume 35, Issue 5, and pp. 301-311.
• Nuno P. Lopes , Juan A. Navarroy , Andrey balchenkoy , and Atul Singh (2003), Applying Prolog to Develop Distributed Systems.
• Pascual Julián-Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero (2009), Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering in Theoretical Computer Science, Volume 248, and pp. 131-147.
• R. J. Gil, M. J. Martin-Bautista (2012), a novel integrated knowledge support system based on ontology learning: Model specification Knowledge-Based Systems, Volume 36, and pp. 340-352.
• R. J. Lucas (1991), Prolog—relational database interfaces Information and Software Technology, Volume 33, Issue 10, and pp. 734-740.
• S. M. Kuo Pan, Y. Kaneda (1989), A table oriented database-prolog system Micro processing and Microprogramming, Volume 25, Issues 1–5, and pp. 9-14.
• S Zhou, MH Williams (1991), Assessment of two-level codeword indexing applied to Prolog database Information and Software Technology, Volume 33, Issue 2 and pp. 157-162.
• Troels Andreasen (2003), An approach to knowledge-based query evaluation, Fuzzy Sets and Systems, Volume 140, Issue 1, and pp. 75-9.
• Wei Lu, Jiawei Han (1995), Query evaluation and optimization of in deductive and object-oriented spatial databases, Volume 37, Issue 3, and pp. 131-143.
• Yuguo Zhang, Peter Hitchcock (1990), Coupling Prolog to a Database Management System , Volume 15, Issue 6, and pp. 663-667.