Keyphrases
- expert systems
- programming language
- logic programming
- prolog programs
- knowledge representation
- knowledge base
- constraint logic programming
- theorem proving
- functional modules
- bayesian networks
- data mining
- knowledge structures
- inference engine
- information technology
- digital libraries
- logic programming language
- modular architecture
- modular structure
- abstract machine