On the Performance of Bytecode Interpreters in Prolog.
Philipp KörnerDavid SchneiderMichael LeuschelPublished in: CoRR (2020)
Keyphrases
- programs written
- virtual machine
- programming language
- operating system
- source code
- logic programming
- expert systems
- prolog programs
- data center
- abstract machine
- real time
- java card
- knowledge representation
- neural network
- smart card
- case study
- theorem proving
- artificial intelligence
- constraint logic programming
- functional programming
- high level
- knowledge base
- logic programming language
- databases
- java bytecode
- data sets