Towards a jitting VM for prolog execution.
Carl Friedrich BolzMichael LeuschelDavid SchneiderPublished in: PPDP (2010)
Keyphrases
- expert systems
- execution model
- logic programming
- virtual machine
- programming language
- neural network
- knowledge representation
- artificial neural networks
- functional programming
- search algorithm
- image sequences
- knowledge base
- artificial intelligence
- information retrieval
- constraint logic programming
- data sets
- execution environment
- abstract machine