Keyphrases
- logic programming
- expert systems
- programming language
- fixed point
- prolog programs
- backward chaining
- logic programming language
- knowledge representation
- knowledge base
- abstract machine
- constraint logic programming
- inference engine
- logic programs
- artificial neural networks
- pattern recognition
- data mining
- programming paradigms
- lambda calculus
- neural network