Keyphrases
- programming language
- expert systems
- logic programming
- lambda calculus
- knowledge base
- modular structure
- functional modules
- functional programming
- prolog programs
- knowledge representation
- building blocks
- fixed point
- abstract machine
- modular architecture
- constraint logic programming
- three dimensional
- real world
- inference engine
- theorem proving
- general purpose
- logic programming language
- hidden markov models
- evolutionary algorithm
- data mining
- modular neural network
- real time