An integrated implementation of prolog database operations

https://doi.org/10.1016/0167-739X(90)90004-WGet rights and content

Abstract

In a compiler-based Prolog system, the Prolog database virtually consists of two components, a code database to store compiled clauses, and a source database to retain, in some way, the source forms of the clauses. An integrated database architecture is presented, where the two sub-databases are tightly combined at the clause level, and therefore can be managed uniformly. Based on the architecture, a uniform implementation of Prolog database operations is then presented. With respect to the architecture, the management, and the implementation of clause indexing, some design alternatives are also discussed.

References (6)

  • W.F Clocksin

    Implementation techniques for Prolog databases

    Software-Practice & Experience

    (July 1985)
  • R.A Kowalski

    Logic for Problem Solving

    (1979)
  • Liangliang Li et al.

    Clause representations in compiler-based Prolog databases

    Future Generation Computer Systems

    (1990)
There are more references available in the full text version of this article.

Cited by (0)

This work was partly supported by the National Natural Science Foundation of China

View full text