Keyphrases
- expert systems
- blackboard architecture
- logic programming
- inference engine
- knowledge based systems
- prolog programs
- knowledge base
- logic programming language
- knowledge representation
- backward chaining
- constraint logic programming
- abstract machine
- programming language
- functional programming
- metadata
- case study
- horn clauses
- neural network
- machine learning
- semantically equivalent
- artificial intelligence
- image processing
- special case
- video sequences
- theorem proving
- answer set programming
- knowledge sources
- data streams
- data model
- software engineering