Rules for implementing very large knowledge base systems
Explore this paper's citation graph
Summary
E Educe*, an integrated programming system for building large knowledge base systems is introduced, and the treatment of rules and complex logic terms are described, and at the physical level the compilation of logic programs and its subsequent storage, retrieval and execution in the specified context are examined.
- Type
- article
- Published
- 1989-09-01
- Cited by
- 5
- References
- 22
- Access
- Open access
- OpenAlex
- https://openalex.org/W2074764947
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:17105016
Keywords
Computer science, Knowledge base, Base (topology), Knowledge-based systems, Logic programming
References
- An Empirical Study of the Warren Abstract Machine
- EDUCE * —a logic programming system for implementing KBMS's
- EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS
- On Prolog DBMS Connections: A Step Forward from Educe
- Implementing an Interpreter for Functional Rules in a Query Optimizer
- Translating Aggregate Queries into Iterative Programs
- Rule-based transformation of relational queries into iterative programs
- On the translation of relational queries into iterative programs
- Implementation of logical query languages for databases
- A rule-based view of query optimization
- Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
- On the evaluation strategy of EDUCE
- On Prolog DBMS Connections: A Step Forward from Educe.
- A rule-based view of query optimization
- On the evaluation strategy of EDUCE
- Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment
- Grid Files for Efficient Prolog Clause Access