RT Prolog: a real time Prolog written in Ada.
G. Scott OwenPublished in: ACM Conference on Computer Science (1988)
Keyphrases
- real time
- logic programming
- knowledge representation
- prolog programs
- expert systems
- abstract machine
- programming language
- knowledge base
- low cost
- programming paradigms
- evolutionary algorithm
- explanation based generalization
- theorem proving
- high speed
- semantically equivalent
- logic programs
- database systems
- computer vision