Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.

Peter Van Roy Bart Demoen Yves D. Willems

Published in: TAPSOFT, Vol.2 (1987)

Keyphrases

execution speed
logic programming
selection strategy
expert systems
search space
horn clauses
knowledge base
evolutionary algorithm
logic programs
selection algorithm