Keyphrases
- logic programming
- programming language
- expert systems
- abstract machine
- prolog programs
- knowledge representation
- knowledge base
- evolutionary algorithm
- three dimensional
- inference engine
- feature selection
- real world
- artificial neural networks
- special case
- multiscale
- theorem proving
- constraint logic programming
- logic programming language
- backward chaining
- programming paradigms