Keyphrases
- logic programming
- expert systems
- programming language
- abstract machine
- knowledge base
- inference engine
- lambda calculus
- prolog programs
- backward chaining
- knowledge representation
- database
- data sets
- logic programming language
- relational databases
- genetic algorithm
- software engineering
- fixed point
- theorem proving
- search algorithm
- high level
- neural network
- databases