Keyphrases
- prolog programs
- logic programming
- expert systems
- programming language
- knowledge representation
- abstract machine
- logic programming language
- gene ontology
- inference engine
- semantic annotation
- metadata
- semi automatic
- annotation tool
- knowledge base
- java programs
- theorem proving
- model based diagnosis
- constraint logic programming
- functional programming
- meta information
- backward chaining
- novice programmers
- databases
- real time
- semantically equivalent
- hardware designs
- relational databases
- machine learning
- fault localization
- manual annotation
- parallel programming
- user generated
- database
- inference rules
- case study
- keywords