Keyphrases
- logic programming
- expert systems
- programming language
- prolog programs
- fixed point
- knowledge representation
- abstract machine
- knowledge base
- constraint logic programming
- inference engine
- logic programs
- logic programming language
- theorem proving
- computer vision
- neural network
- software engineering
- e learning
- information systems
- backward chaining
- lambda calculus
- artificial intelligence