On the Performance of Bytecode Interpreters in Prolog.
Philipp KörnerDavid SchneiderMichael LeuschelPublished in: WFLP (2020)
Keyphrases
- programs written
- virtual machine
- programming language
- operating system
- source code
- logic programming
- java card
- knowledge base
- abstract machine
- data center
- expert systems
- knowledge representation
- description language
- java virtual machine
- programming paradigms
- real time
- computer systems
- object oriented
- model checking
- highly parallel
- data model
- constraint logic programming
- logic programming language
- prolog programs