A modularization for PROLOG knowledge bases.
Jaya P. MoilyThomas J. MurrayPublished in: Inf. Syst. (1993)
Keyphrases
- knowledge base
- logic programming
- knowledge representation
- expert systems
- inference engine
- knowledge based systems
- knowledge acquisition
- software design
- description logics
- logic programming language
- backward chaining
- reasoning process
- logic programs
- semantic network
- constraint logic programming
- possibilistic logic
- knowledge sources
- search algorithm
- domain theory
- database
- background knowledge
- programming language
- formal representation
- computational complexity
- multi agent
- prolog programs
- explanation based generalization
- abstract machine