Compilation of logic programs to implement very large knowledge base systems-a case study: Educe

@article{Bocca1990CompilationOL,
  title={Compilation of logic programs to implement very large knowledge base systems-a case study: Educe},
  author={J. Bocca},
  journal={[1990] Proceedings. Sixth International Conference on Data Engineering},
  year={1990},
  pages={361-369}
}
  • J. Bocca
  • Published 1990
  • Computer Science
  • [1990] Proceedings. Sixth International Conference on Data Engineering
  • One of the most promising technologies being used for constructing knowledge-base systems is the integration of programming languages based on the logic paradigm, Prolog, for example and relational DBMSs. In theory, at least, it provides a base on which development systems for constructing very large knowledge-base systems could be implemented. However, to achieve this goal in practical terms, improvements in performance by several orders of magnitude over existing systems must be obtained… CONTINUE READING
    5 Citations

    References

    SHOWING 1-10 OF 13 REFERENCES
    On the evaluation strategy of EDUCE
    • 52
    A Portable Prolog Compiler
    • 21
    • PDF
    The design and implementation of INGRES
    • 900
    • PDF
    Recursive query processing: the power of logic
    • 126
    The BANG file: A new kind of grid file
    • 250
    An Empirical Study of the Warren Abstract Machine
    • 48
    EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS
    • 55
    Extended Prolog for Order-Sorted Resolution
    • 26