A Portable Prolog Compiler.
D. L. BowenL. M. ByrdW. F. ClocksinPublished in: Logic Programming Workshop (1983)
Keyphrases
- programming language
- java bytecode
- logic programming
- general purpose
- lightweight
- prolog programs
- programming paradigms
- programs written
- knowledge representation
- abstract machine
- object oriented
- high level
- logic programming language
- highly optimized
- functional programming
- software engineering
- software systems
- theorem proving
- distributed memory machines
- virtual machine
- semantically equivalent
- constraint logic programming
- data sets
- knowledge base
- artificial intelligence