Keyphrases
- programming language
- logic programming
- abstract machine
- expert systems
- knowledge representation
- logic programming language
- inference engine
- knowledge base
- knowledge compilation
- backward chaining
- programs written
- neural network
- data structure
- artificial intelligence
- user interface
- hidden markov models
- machine learning
- data mining
- theorem proving
- constraint logic programming