Keyphrases
- circuit design
- logic programming
- prolog programs
- expert systems
- knowledge representation
- design automation
- abstract machine
- digital circuits
- programming language
- logic programs
- logic programming language
- theorem proving
- neural network
- knowledge base
- functional programming
- inference engine
- constraint logic programming
- infrared
- artificial intelligence