Reducing Memory Traffic and Accelerting Prolog Execution in a Superscalar Prolog System.

Ruey-Liang Ma Chung-Ping Chung

Published in: J. Inf. Sci. Eng. (1999)

Keyphrases

logic programming
expert systems
programming language
prolog programs
knowledge base
abstract machine
theorem proving
multithreading
software engineering
general purpose
logic programs
inference engine
random access
memory management