Keyphrases
- process control
- control system
- logic programming
- intelligent control
- product quality
- programming language
- manufacturing process
- semiconductor manufacturing
- knowledge representation
- theorem proving
- abstract machine
- personal computer
- logic programs
- prolog programs
- expert systems
- logic programming language
- inference engine
- constraint logic programming
- knowledge base
- genetic algorithm
- machine learning
- backward chaining
- programming paradigms